Availability: A logical approach to discrete math | Technische Universität München

$Cover Image$

Saved in:

Bibliographic Details
Main Author:	Gries, David (Author)
Format:	Book
Language:	English
Published:	New York u.a. Springer 1993
Series:	Texts and monographs in computer science
Subjects:	Informatique - Mathématiques Logique Mathématiques calcul propositionnel calcul prédicat induction mathématique mathématique discrète prédicat quantification relation récurrence théorie graphe Mathematik Mathematics Diskrete Mathematik Mathematische Logik
Physical Description:	XVI, 497 S. graph. Darst.
ISBN:	0387941150 3540941150

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV008358938
003	DE-604
005	00000000000000.0
007	t\|
008	931130s1993 xx d\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 0387941150 \|9 0-387-94115-0
020			\|a 3540941150 \|9 3-540-94115-0
035			\|a (OCoLC)28377189
035			\|a (DE-599)BVBBV008358938
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-739 \|a DE-91 \|a DE-384 \|a DE-12 \|a DE-703 \|a DE-473 \|a DE-634 \|a DE-83 \|a DE-188
050		0	\|a QA39.2
082	0		\|a 510 \|2 20
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a MAT 030f \|2 stub
084			\|a MAT 050f \|2 stub
100	1		\|a Gries, David \|e Verfasser \|4 aut
245	1	0	\|a A logical approach to discrete math \|c David Gries ; Fred B. Schneider
264		1	\|a New York u.a. \|b Springer \|c 1993
300			\|a XVI, 497 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Texts and monographs in computer science
650		7	\|a Informatique - Mathématiques \|2 ram
650		7	\|a Logique \|2 ram
650		4	\|a Mathématiques
650		7	\|a calcul propositionnel \|2 inriac
650		7	\|a calcul prédicat \|2 inriac
650		7	\|a induction mathématique \|2 inriac
650		7	\|a mathématique discrète \|2 inriac
650		7	\|a prédicat \|2 inriac
650		7	\|a quantification \|2 inriac
650		7	\|a relation récurrence \|2 inriac
650		7	\|a théorie graphe \|2 inriac
650		4	\|a Mathematik
650		4	\|a Mathematics
650	0	7	\|a Diskrete Mathematik \|0 (DE-588)4129143-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematik \|0 (DE-588)4037944-9 \|2 gnd \|9 rswk-swf
689	0	0	\|a Diskrete Mathematik \|0 (DE-588)4129143-8 \|D s
689	0	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematik \|0 (DE-588)4037944-9 \|D s
689	1		\|8 1\p \|5 DE-604
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-005519859

Record in the Search Index

DE-BY-TUM_call_number	0001 94 A 886
DE-BY-TUM_katkey	607684
DE-BY-TUM_location	Mag
DE-BY-TUM_media_number	040000794961
_version_	1821930863688941568
any_adam_object
author	Gries, David
author_facet	Gries, David
author_role	aut
author_sort	Gries, David
author_variant	d g dg
building	Verbundindex
bvnumber	BV008358938
callnumber-first	Q - Science
callnumber-label	QA39
callnumber-raw	QA39.2
callnumber-search	QA39.2
callnumber-sort	QA 239.2
callnumber-subject	QA - Mathematics
classification_rvk	SK 130
classification_tum	MAT 030f MAT 050f
ctrlnum	(OCoLC)28377189 (DE-599)BVBBV008358938
dewey-full	510
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	510 - Mathematics
dewey-raw	510
dewey-search	510
dewey-sort	3510
dewey-tens	510 - Mathematics
discipline	Mathematik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02049nam a2200601 c 4500</leader><controlfield tag="001">BV008358938</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">931130s1993 xx d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387941150</subfield><subfield code="9">0-387-94115-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540941150</subfield><subfield code="9">3-540-94115-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28377189</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008358938</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA39.2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 050f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gries, David</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A logical approach to discrete math</subfield><subfield code="c">David Gries ; Fred B. Schneider</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 497 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Texts and monographs in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">induction mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">mathématique discrète</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">prédicat</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">quantification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">relation récurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie graphe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Diskrete Mathematik</subfield><subfield code="0">(DE-588)4129143-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005519859</subfield></datafield></record></collection>
id	DE-604.BV008358938
illustrated	Illustrated
indexdate	2024-12-20T09:20:50Z
institution	BVB
isbn	0387941150 3540941150
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-005519859
oclc_num	28377189
open_access_boolean
owner	DE-739 DE-91 DE-BY-TUM DE-384 DE-12 DE-703 DE-473 DE-BY-UBG DE-634 DE-83 DE-188
owner_facet	DE-739 DE-91 DE-BY-TUM DE-384 DE-12 DE-703 DE-473 DE-BY-UBG DE-634 DE-83 DE-188
physical	XVI, 497 S. graph. Darst.
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Springer
record_format	marc
series2	Texts and monographs in computer science
spellingShingle	Gries, David A logical approach to discrete math Informatique - Mathématiques ram Logique ram Mathématiques calcul propositionnel inriac calcul prédicat inriac induction mathématique inriac mathématique discrète inriac prédicat inriac quantification inriac relation récurrence inriac théorie graphe inriac Mathematik Mathematics Diskrete Mathematik (DE-588)4129143-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd
subject_GND	(DE-588)4129143-8 (DE-588)4037951-6 (DE-588)4037944-9
title	A logical approach to discrete math
title_auth	A logical approach to discrete math
title_exact_search	A logical approach to discrete math
title_full	A logical approach to discrete math David Gries ; Fred B. Schneider
title_fullStr	A logical approach to discrete math David Gries ; Fred B. Schneider
title_full_unstemmed	A logical approach to discrete math David Gries ; Fred B. Schneider
title_short	A logical approach to discrete math
title_sort	a logical approach to discrete math
topic	Informatique - Mathématiques ram Logique ram Mathématiques calcul propositionnel inriac calcul prédicat inriac induction mathématique inriac mathématique discrète inriac prédicat inriac quantification inriac relation récurrence inriac théorie graphe inriac Mathematik Mathematics Diskrete Mathematik (DE-588)4129143-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Mathematik (DE-588)4037944-9 gnd
topic_facet	Informatique - Mathématiques Logique Mathématiques calcul propositionnel calcul prédicat induction mathématique mathématique discrète prédicat quantification relation récurrence théorie graphe Mathematik Mathematics Diskrete Mathematik Mathematische Logik
work_keys_str_mv	AT griesdavid alogicalapproachtodiscretemath

Availability

Order (Login required)

Order paper/chapter scan

Closed Stacks

Holdings details from Bibliotheksmagazin
Call Number:	0001 94 A 886
Copy 1	Available for loan On Shelf