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!
|
| LEADER | 01436nam#a2200409zc#4500 | ||
|---|---|---|---|
| 001 | 990000663740504498 | ||
| 005 | 20230611131630.0 | ||
| 007 | tu | ||
| 008 | 890522|1972####|||###########|||#|#ger#c | ||
| 009 | AC00025897 | ||
| 015 | |a 72,A42,0364 |2 dnb | ||
| 020 | |a 3519122014 | ||
| 035 | |a (AT-OBV)AC00025897 | ||
| 035 | |a AC00025897 | ||
| 035 | |a (Aleph)000723376ACC01 | ||
| 035 | |a (DE-599)OBVAC00025897 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990007233760203331 | ||
| 040 | |a UBI |b ger |d UBK |e rakwb | ||
| 041 | |a ger | ||
| 044 | |c XA-DE | ||
| 084 | |a 31.10 |2 bkl |9 O: Automatisch aus GBV_2011-10 2012-04-21 | ||
| 084 | |a CC 2400 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-13 | ||
| 084 | |a SK 130 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-13 | ||
| 100 | 1 | |a Hermes, Hans |d 1912-2003 |0 (DE-588)117712302 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die mathematische Logik |b klassische Prädikatenlogik |c von Hans Hermes |
| 250 | |a 3., neubearb. u. erw. Aufl. | ||
| 264 | 1 | |a Stuttgart |b Teubner |c 1972 | |
| 300 | |a 206 S. | ||
| 490 | 0 | |a Mathematische Leitfäden | |
| 500 | |a Literaturverz. S. 196 - 197 | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |z Automatisch aus GBV_2011-10 2012-04-21 | |
| 689 | 0 | 0 | |a Mathematische Logik |D s |0 (DE-588)4037951-6 |
| 689 | 0 | 1 | |a Prädikatenlogik |D s |0 (DE-588)4046974-8 |
| 689 | 0 | |5 AT-OBV |5 UBG | |
| 856 | 4 | 2 | |q application/pdf |u http://media.obvsg.at/AC00025897-1001 |x HBZ-CE |3 Inhaltsverzeichnis |o OBV-HBZ-CE |
| 970 | 1 | |c 23 | |
| 970 | 2 | |a UBI | |
| 974 | 0 | u | |V 903 |a 21 |
| ADM | |b 2024-03-18 00:38:06 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 08:49:47 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 31258-B |c MAG1-3 |8 2217566320004498 | |
| 852 | 8 | |b YWOAW |c MAG1-3 |h 31258-B |8 2217566320004498 | |
| ITM | |9 2217566320004498 |e 1 |m BOOK |b +YW3741709 |i 31258-B |2 MAG1-3 |o 20040212 |8 2317566310004498 |f 02 |p 2004-02-12 01:00:00 Europe/Vienna |h 31258-B |1 YWOAW |q 2022-06-08 18:46:12 Europe/Vienna | ||