On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk
Saved in:
Superior document: | Dissertationes mathematicae 178 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Warszawa : PWN, 1980 |
Year of Publication: | 1980 |
Language: | English |
Series: | Dissertationes mathematicae
178 |
Subjects: | |
Physical Description: | 44 S. |
Notes: | Literaturverz. S. [40] |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 01241nam#a2200385#cb4500 | ||
---|---|---|---|
001 | 990001923120504498 | ||
005 | 20230219172407.0 | ||
007 | tu | ||
008 | 091016|1980####|||######m####|||#|#eng#c | ||
009 | AC07836329 | ||
010 | |a 80493539 | ||
020 | |a 8301011149 | ||
035 | |a (AT-OBV)AC07836329 | ||
035 | |a AC07836329 | ||
035 | |a (Aleph)007688693ACC01 | ||
035 | |a (DE-599)BSZ007971281 | ||
035 | |a (EXLNZ-43ACC_NETWORK)990076886930203331 | ||
040 | |a OAW |b ger |c BSZ | ||
041 | |a eng | ||
044 | |c XA-PL | ||
084 | |a SI 390 |2 rvk |9 O: Automatisch aus BVB_2013-06 2013-03-28 | ||
100 | 1 | |a Ratajczyk, Zygmunt |4 aut | |
245 | 1 | 0 | |a On sentences provable in impredicative extensions of theories |c Zygmunt Ratajczyk |
264 | 1 | |a Warszawa |b PWN |c 1980 | |
300 | |a 44 S. | ||
490 | 1 | |a Dissertationes mathematicae |v 178 | |
500 | |a Literaturverz. S. [40] | ||
502 | |a Zugl.: Warszawa, Polska Akademia Nauk, Diss., 1979 | ||
591 | |a 720 ff. (DDC): GBV/LOC | ||
650 | 0 | |a Axiomatic set theory |z Automatisch aus GBV_2011-10 2012-04-19 | |
650 | 0 | |a Predicate calculus |z Automatisch aus GBV_2011-10 2012-04-19 | |
689 | 0 | 0 | |a Nichtprädikative Erweiterung |A f |
689 | 0 | |5 AT-OBV |5 Automatisch aus BVB_2013-06 2013-03-28 | |
830 | 0 | |w (AT-OBV)AC00094393 |v 178 | |
970 | 1 | |c 23 | |
970 | 4 | |b SWB | |
ADM | |b 2023-02-19 17:24:07 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 06:07:52 Europe/Vienna |g false | ||
HOL | 8 | |b YWOAW |h 84784.178 |c MAG1 |8 2215613340004498 | |
852 | 8 | |b YWOAW |c MAG1 |h 84784.178 |8 2215613340004498 | |
ITM | |9 2215613340004498 |e 1 |m BOOK |b +YW1570800X |i 84784.178 |2 MAG1 |o 19990909 |8 2315613330004498 |f 02 |p 2009-10-16 02:00:00 Europe/Vienna |h 84784.178 |1 YWOAW |q 2022-09-26 12:52:55 Europe/Vienna |