Holdings: First order logic :: THWS Bibkatalog

First order logic:

Saved in:

Bibliographic Details
Main Author:	Smullyan, Raymond M. 1919-2017 (Author)
Format:	Book
Language:	English
Published:	New York, NY Dover 1995
Edition:	1. publ. in 1995, unabridged, corr. republ. of the work 1. publ. 1968
Series:	Dover books on advanced mathematics
Subjects:	Lógica matemática First-order logic Prädikatenlogik Mathematische Logik Aussagenlogik Quantifizierungstheorie
Physical Description:	XII, 158 S. graph. Darst.
ISBN:	0486683702

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV010689975
003	DE-604
005	20100607
007	t
008	960329s1995 d\|\|\| \|\|\|\| 00\|\|\| engod
020			\|a 0486683702 \|9 0-486-68370-2
035			\|a (OCoLC)31375331
035			\|a (DE-599)BVBBV010689975
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91 \|a DE-384 \|a DE-634
050		0	\|a QA9
082	0		\|a 511.3 \|2 20
084			\|a CC 2600 \|0 (DE-625)17610: \|2 rvk
084			\|a SK 130 \|0 (DE-625)143216: \|2 rvk
084			\|a MAT 030f \|2 stub
100	1		\|a Smullyan, Raymond M. \|d 1919-2017 \|e Verfasser \|0 (DE-588)115668411 \|4 aut
245	1	0	\|a First order logic \|c Raymond M. Smullyan
250			\|a 1. publ. in 1995, unabridged, corr. republ. of the work 1. publ. 1968
264		1	\|a New York, NY \|b Dover \|c 1995
300			\|a XII, 158 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Dover books on advanced mathematics
650		7	\|a Lógica matemática \|2 larpcal
650		4	\|a First-order logic
650	0	7	\|a Prädikatenlogik \|0 (DE-588)4046974-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 Aussagenlogik \|0 (DE-588)4136098-9 \|2 gnd \|9 rswk-swf
655		7	\|a Quantifizierungstheorie \|2 gnd \|9 rswk-swf
689	0	0	\|a Quantifizierungstheorie \|A f
689	0		\|5 DE-604
689	1	0	\|a Prädikatenlogik \|0 (DE-588)4046974-8 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	2		\|8 2\p \|5 DE-604
689	3	0	\|a Aussagenlogik \|0 (DE-588)4136098-9 \|D s
689	3		\|8 3\p \|5 DE-604
999			\|a oai:aleph.bib-bvb.de:BVB01-007135978
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
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Record in the Search Index

_version_	1804125168722771968
any_adam_object
author	Smullyan, Raymond M. 1919-2017
author_GND	(DE-588)115668411
author_facet	Smullyan, Raymond M. 1919-2017
author_role	aut
author_sort	Smullyan, Raymond M. 1919-2017
author_variant	r m s rm rms
building	Verbundindex
bvnumber	BV010689975
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
classification_tum	MAT 030f
ctrlnum	(OCoLC)31375331 (DE-599)BVBBV010689975
dewey-full	511.3
dewey-hundreds	500 - Natural sciences and mathematics
dewey-ones	511 - General principles of mathematics
dewey-raw	511.3
dewey-search	511.3
dewey-sort	3511.3
dewey-tens	510 - Mathematics
discipline	Mathematik Philosophie
edition	1. publ. in 1995, unabridged, corr. republ. of the work 1. publ. 1968
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01952nam a2200541 c 4500</leader><controlfield tag="001">BV010689975</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100607 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960329s1995 d\|\|\| \|\|\|\| 00\|\|\| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0486683702</subfield><subfield code="9">0-486-68370-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)31375331</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010689975</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-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Smullyan, Raymond M.</subfield><subfield code="d">1919-2017</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)115668411</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">First order logic</subfield><subfield code="c">Raymond M. Smullyan</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ. in 1995, unabridged, corr. republ. of the work 1. publ. 1968</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Dover</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 158 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">Dover books on advanced mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Lógica matemática</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">First-order logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Quantifizierungstheorie</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Quantifizierungstheorie</subfield><subfield code="A">f</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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</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="689" ind1="2" 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="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007135978</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="883" ind1="1" ind2=" "><subfield code="8">3\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></record></collection>
genre	Quantifizierungstheorie gnd
genre_facet	Quantifizierungstheorie
id	DE-604.BV010689975
illustrated	Illustrated
indexdate	2024-07-09T17:57:16Z
institution	BVB
isbn	0486683702
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-007135978
oclc_num	31375331
open_access_boolean
owner	DE-91 DE-BY-TUM DE-384 DE-634
owner_facet	DE-91 DE-BY-TUM DE-384 DE-634
physical	XII, 158 S. graph. Darst.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Dover
record_format	marc
series2	Dover books on advanced mathematics
spelling	Smullyan, Raymond M. 1919-2017 Verfasser (DE-588)115668411 aut First order logic Raymond M. Smullyan 1. publ. in 1995, unabridged, corr. republ. of the work 1. publ. 1968 New York, NY Dover 1995 XII, 158 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Dover books on advanced mathematics Lógica matemática larpcal First-order logic Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Quantifizierungstheorie gnd rswk-swf Quantifizierungstheorie f DE-604 Prädikatenlogik (DE-588)4046974-8 s 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Aussagenlogik (DE-588)4136098-9 s 3\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Smullyan, Raymond M. 1919-2017 First order logic Lógica matemática larpcal First-order logic Prädikatenlogik (DE-588)4046974-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd
subject_GND	(DE-588)4046974-8 (DE-588)4037951-6 (DE-588)4136098-9
title	First order logic
title_auth	First order logic
title_exact_search	First order logic
title_full	First order logic Raymond M. Smullyan
title_fullStr	First order logic Raymond M. Smullyan
title_full_unstemmed	First order logic Raymond M. Smullyan
title_short	First order logic
title_sort	first order logic
topic	Lógica matemática larpcal First-order logic Prädikatenlogik (DE-588)4046974-8 gnd Mathematische Logik (DE-588)4037951-6 gnd Aussagenlogik (DE-588)4136098-9 gnd
topic_facet	Lógica matemática First-order logic Prädikatenlogik Mathematische Logik Aussagenlogik Quantifizierungstheorie
work_keys_str_mv	AT smullyanraymondm firstorderlogic

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items