Einführung in die mathematische Logik : klassische Prädikatenlogik / von Hans Hermes

Saved in:
Bibliographic Details
VerfasserIn:
Place / Publishing House:Stuttgart : Teubner, 1972
Year of Publication:1972
Edition:3., neubearb. u. erw. Aufl.
Language:German
Series:Mathematische Leitfäden
Subjects:
Classification:31.10 - Mathematische Logik. Mengenlehre
Online Access:
Physical Description:206 S.
Notes:Literaturverz. S. 196 - 197
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990000663740504498
ctrlnum AC00025897
(AT-OBV)AC00025897
(Aleph)000723376ACC01
(DE-599)OBVAC00025897
(EXLNZ-43ACC_NETWORK)990007233760203331
collection bib_alma
institution YWOAW
building MAG1-3
record_format marc
spelling Hermes, Hans 1912-2003 (DE-588)117712302 aut
Einführung in die mathematische Logik klassische Prädikatenlogik von Hans Hermes
3., neubearb. u. erw. Aufl.
Stuttgart Teubner 1972
206 S.
Mathematische Leitfäden
Literaturverz. S. 196 - 197
Logic, Symbolic and mathematical Automatisch aus GBV_2011-10 2012-04-21
Mathematische Logik s (DE-588)4037951-6
Prädikatenlogik s (DE-588)4046974-8
AT-OBV UBG
application/pdf http://media.obvsg.at/AC00025897-1001 HBZ-CE Inhaltsverzeichnis OBV-HBZ-CE
YWOAW MAG1-3 31258-B 2217566320004498
language German
format Book
author Hermes, Hans 1912-2003
spellingShingle Hermes, Hans 1912-2003
Einführung in die mathematische Logik klassische Prädikatenlogik
Mathematische Leitfäden
Mathematische Logik (DE-588)4037951-6
Prädikatenlogik (DE-588)4046974-8
author_facet Hermes, Hans 1912-2003
author_variant h h hh
author_role VerfasserIn
author_sort Hermes, Hans 1912-2003
title Einführung in die mathematische Logik klassische Prädikatenlogik
title_sub klassische Prädikatenlogik
title_full Einführung in die mathematische Logik klassische Prädikatenlogik von Hans Hermes
title_fullStr Einführung in die mathematische Logik klassische Prädikatenlogik von Hans Hermes
title_full_unstemmed Einführung in die mathematische Logik klassische Prädikatenlogik von Hans Hermes
title_auth Einführung in die mathematische Logik klassische Prädikatenlogik
title_new Einführung in die mathematische Logik
title_sort einführung in die mathematische logik klassische prädikatenlogik
series Mathematische Leitfäden
series2 Mathematische Leitfäden
publisher Teubner
publishDate 1972
physical 206 S.
edition 3., neubearb. u. erw. Aufl.
isbn 3519122014
callnumber-raw 31258-B
callnumber-search 31258-B
topic Mathematische Logik (DE-588)4037951-6
Prädikatenlogik (DE-588)4046974-8
topic_facet Mathematische Logik
Prädikatenlogik
geographic_facet Automatisch aus GBV_2011-10 2012-04-21
url http://media.obvsg.at/AC00025897-1001
illustrated Not Illustrated
work_keys_str_mv AT hermeshans einfuhrungindiemathematischelogikklassischepradikatenlogik
status_str n
ids_txt_mv (AT-OBV)AC00025897
AC00025897
(Aleph)000723376ACC01
(DE-599)OBVAC00025897
(EXLNZ-43ACC_NETWORK)990007233760203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 31258-B
hol852cSonderstandort_txt_mv MAG1-3
itmData_txt_mv 2004-02-12 01:00:00 Europe/Vienna
barcode_str_mv +YW3741709
callnumbers_txt_mv 31258-B
inventoryNumbers_str_mv 31258-B
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1-3
inventoryDates_str_mv 20040212
createdDates_str_mv 2004-02-12 01:00:00 Europe/Vienna
holdingIds_str_mv 2217566320004498
is_hierarchy_id AC00025897
is_hierarchy_title Einführung in die mathematische Logik klassische Prädikatenlogik
basiskl_str_mv 31.10 - Mathematische Logik. Mengenlehre
basiskl_txtF_mv 31.10 - Mathematische Logik. Mengenlehre
_version_ 1793821202236571648
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01436nam#a2200409zc#4500</leader><controlfield tag="001">990000663740504498</controlfield><controlfield tag="005">20230611131630.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">890522|1972####|||###########|||#|#ger#c</controlfield><controlfield tag="009">AC00025897</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">72,A42,0364</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3519122014</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC00025897</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC00025897</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)000723376ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC00025897</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990007233760203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">UBI</subfield><subfield code="b">ger</subfield><subfield code="d">UBK</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-DE</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bkl</subfield><subfield code="9">O: Automatisch aus GBV_2011-10 2012-04-21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-13</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-13</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hermes, Hans</subfield><subfield code="d">1912-2003</subfield><subfield code="0">(DE-588)117712302</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die mathematische Logik</subfield><subfield code="b">klassische Prädikatenlogik</subfield><subfield code="c">von Hans Hermes</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3., neubearb. u. erw. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Teubner</subfield><subfield code="c">1972</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">206 S.</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Mathematische Leitfäden</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 196 - 197</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-04-21</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4037951-6</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4046974-8</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">UBG</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">application/pdf</subfield><subfield code="u">http://media.obvsg.at/AC00025897-1001</subfield><subfield code="x">HBZ-CE</subfield><subfield code="3">Inhaltsverzeichnis</subfield><subfield code="o">OBV-HBZ-CE</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="970" ind1="2" ind2=" "><subfield code="a"> UBI</subfield></datafield><datafield tag="974" ind1="0" ind2="u"><subfield code="V">903</subfield><subfield code="a">21</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-03-18 00:38:06 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 08:49:47 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">31258-B</subfield><subfield code="c">MAG1-3</subfield><subfield code="8">2217566320004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1-3</subfield><subfield code="h">31258-B</subfield><subfield code="8">2217566320004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2217566320004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW3741709</subfield><subfield code="i">31258-B</subfield><subfield code="2">MAG1-3</subfield><subfield code="o">20040212</subfield><subfield code="8">2317566310004498</subfield><subfield code="f">02</subfield><subfield code="p">2004-02-12 01:00:00 Europe/Vienna</subfield><subfield code="h">31258-B</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-08 18:46:12 Europe/Vienna</subfield></datafield></record></collection>