Einführung in die mathematische Logik : klassische Prädikatenlogik / von Hans Hermes
Saved in:
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> |