Einführung in die mathematische Logik / 2 : Prädikatenkalkül der ersten Stufe / von Günter Asser
Saved in:
Superior document: | Einführung in die mathematische Logik 2 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Leipzig : Teubner, 1972 |
Year of Publication: | 1972 |
Language: | German |
Series: | Mathematisch-naturwissenschaftliche Bibliothek
19 |
Subjects: | |
Physical Description: | IV, 190 S. |
Notes: | Literaturverz. S. [183] |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01094nam#a2200349zcc4500 | ||
---|---|---|---|
001 | 990001033270504498 | ||
005 | 20230127184029.0 | ||
007 | tu | ||
008 | 951206|1972####|||###########|||#|#ger#c | ||
009 | AC01323790 | ||
015 | |a 81,A39,0800 |2 dnb | ||
035 | |a (AT-OBV)AC01323790 | ||
035 | |a AC01323790 | ||
035 | |a (Aleph)000555863ACC01 | ||
035 | |a (DE-599)OBVAC01323790 | ||
035 | |a (EXLNZ-43ACC_NETWORK)990005558630203331 | ||
040 | |a RET |b ger |d UBK |e rakwb | ||
041 | |a ger | ||
044 | |c XA-DDDE | ||
100 | 1 | |a Asser, Günter |d 1926-2015 |0 (DE-588)1063888085 |4 aut | |
245 | 1 | 0 | |a Einführung in die mathematische Logik |n 2 |p Prädikatenkalkül der ersten Stufe |c von Günter Asser |
264 | 1 | |a Leipzig |b Teubner |c 1972 | |
300 | |a IV, 190 S. | ||
490 | 1 | |a Mathematisch-naturwissenschaftliche Bibliothek |v 19 | |
500 | |a Literaturverz. S. [183] | ||
689 | 0 | 0 | |a Prädikatenlogik |D s |0 (DE-588)4046974-8 |
689 | 0 | 1 | |a Stufe 1 |D s |0 (DE-588)4362503-4 |
689 | 0 | 2 | |a Einführung |A f |
689 | 0 | |5 AT-OBV |5 UBL | |
773 | 0 | 8 | |w (AT-OBV)AC00030536 |q 2 |
830 | 0 | |w (AT-OBV)AC00030533 |v 19 | |
970 | 1 | |c 23 | |
974 | 0 | u | |V 903 |a 213 |
ADM | |b 2024-06-20 04:12:04 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 09:50:35 Europe/Vienna |g false | ||
HOL | 8 | |b YWOAW |h 39536-B |c MAG1-3 |8 2223388530004498 | |
852 | 8 | |b YWOAW |c MAG1-3 |h 39536-B |8 2223388530004498 | |
ITM | |9 2223388530004498 |e 1 |m BOOK |b +YW6425501 |i VIS-MATH.-228.2 |2 MAG1-3 |o 2005-11-21 15:22:26 |8 2321803140004498 |f 02 |p 2005-11-21 01:00:00 Europe/Vienna |h 39536-B |1 YWOAW |q 2022-06-08 19:33:57 Europe/Vienna |