Verfügbarkeit: Logic and structure | Technische Universität München

Logic and structure:

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Dalen, Dirk van 1932- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Berlin [u.a.] Springer 1980
Schriftenreihe:	Universitext
Schlagwörter:	Logique symbolique et mathématique Symbolische logica Wiskundige logica calcul propositionnel calcul prédicat logique mathématique Logic, Symbolic and mathematical Mathematische Logik Einführung Lehrbuch
Umfang:	VII, 172 S.
ISBN:	3540098933 0387098933

Internformat

MARC


LEADER	00000nam a2200000 c 4500
001	BV001003802
003	DE-604
005	20150624
007	t\|
008	890315s1980 xx \|\|\|\| 00\|\|\| eng d
020			\|a 3540098933 \|9 3-540-09893-3
020			\|a 0387098933 \|9 0-387-09893-3
035			\|a (OCoLC)611369595
035			\|a (DE-599)BVBBV001003802
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-19 \|a DE-91G \|a DE-384 \|a DE-739 \|a DE-355 \|a DE-20 \|a DE-824 \|a DE-29 \|a DE-29T \|a DE-706 \|a DE-83 \|a DE-188
050		0	\|a QA9
082	0		\|a 511
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a 5,1 \|2 ssgn
084			\|a 03-01 \|2 msc
100	1		\|a Dalen, Dirk van \|d 1932- \|e Verfasser \|0 (DE-588)133205053 \|4 aut
245	1	0	\|a Logic and structure \|c Dirk van Dalen
264		1	\|a Berlin [u.a.] \|b Springer \|c 1980
300			\|a VII, 172 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Universitext
650		4	\|a Logique symbolique et mathématique
650		7	\|a Logique symbolique et mathématique \|2 ram
650		7	\|a Symbolische logica \|2 gtt
650		7	\|a Wiskundige logica \|2 gtt
650		7	\|a calcul propositionnel \|2 inriac
650		7	\|a calcul prédicat \|2 inriac
650		7	\|a logique mathématique \|2 inriac
650		4	\|a Logic, Symbolic and mathematical
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
655		7	\|8 2\p \|0 (DE-588)4123623-3 \|a Lehrbuch \|2 gnd-content
689	0	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
940	1		\|q TUB-www
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\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-000607043

Datensatz im Suchindex

DE-BY-TUM_call_number	0102 MAT 030f 2001 A 9845
DE-BY-TUM_katkey	100635
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010624934 040010429926
_version_	1821939894206857216
any_adam_object
author	Dalen, Dirk van 1932-
author_GND	(DE-588)133205053
author_facet	Dalen, Dirk van 1932-
author_role	aut
author_sort	Dalen, Dirk van 1932-
author_variant	d v d dv dvd
building	Verbundindex
bvnumber	BV001003802
callnumber-first	Q - Science
callnumber-label	QA9
callnumber-raw	QA9
callnumber-search	QA9
callnumber-sort	QA 19
callnumber-subject	QA - Mathematics
classification_rvk	CC 2600 SK 130
ctrlnum	(OCoLC)611369595 (DE-599)BVBBV001003802
dewey-full	511
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511
dewey-search	511
dewey-sort	3511
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01885nam a2200541 c 4500</leader><controlfield tag="001">BV001003802</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150624 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">890315s1980 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540098933</subfield><subfield code="9">3-540-09893-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387098933</subfield><subfield code="9">0-387-09893-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611369595</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001003802</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-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-01</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dalen, Dirk van</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133205053</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and structure</subfield><subfield code="c">Dirk van Dalen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 172 S.</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">Universitext</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Symbolische logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</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">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="940" ind1="1" ind2=" "><subfield code="q">TUB-www</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="883" ind1="1" ind2=" "><subfield code="8">2\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-000607043</subfield></datafield></record></collection>
genre	1\p (DE-588)4151278-9 Einführung gnd-content 2\p (DE-588)4123623-3 Lehrbuch gnd-content
genre_facet	Einführung Lehrbuch
id	DE-604.BV001003802
illustrated	Not Illustrated
indexdate	2024-12-20T07:29:49Z
institution	BVB
isbn	3540098933 0387098933
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-000607043
oclc_num	611369595
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-739 DE-355 DE-BY-UBR DE-20 DE-824 DE-29 DE-29T DE-706 DE-83 DE-188
owner_facet	DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-384 DE-739 DE-355 DE-BY-UBR DE-20 DE-824 DE-29 DE-29T DE-706 DE-83 DE-188
physical	VII, 172 S.
psigel	TUB-www
publishDate	1980
publishDateSearch	1980
publishDateSort	1980
publisher	Springer
record_format	marc
series2	Universitext
spellingShingle	Dalen, Dirk van 1932- Logic and structure Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt Wiskundige logica gtt calcul propositionnel inriac calcul prédicat inriac logique mathématique inriac Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4151278-9 (DE-588)4123623-3
title	Logic and structure
title_auth	Logic and structure
title_exact_search	Logic and structure
title_full	Logic and structure Dirk van Dalen
title_fullStr	Logic and structure Dirk van Dalen
title_full_unstemmed	Logic and structure Dirk van Dalen
title_short	Logic and structure
title_sort	logic and structure
topic	Logique symbolique et mathématique Logique symbolique et mathématique ram Symbolische logica gtt Wiskundige logica gtt calcul propositionnel inriac calcul prédicat inriac logique mathématique inriac Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Logique symbolique et mathématique Symbolische logica Wiskundige logica calcul propositionnel calcul prédicat logique mathématique Logic, Symbolic and mathematical Mathematische Logik Einführung Lehrbuch
work_keys_str_mv	AT dalendirkvan logicandstructure

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik

Bestandsangaben von Teilbibliothek Mathematik & Informatik
Signatur:	0102 MAT 030f 2001 A 9845 Lageplan
Exemplar 1	Ausleihbar Am Standort
Exemplar 2	Ausleihbar Am Standort