On sentences provable in impredicative extensions of theories

On sentences provable in impredicative extensions of theories / Zygmunt Ratajczyk

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae 178
VerfasserIn:
Ratajczyk, Zygmunt
Place / Publishing House:Warszawa : PWN, 1980
Year of Publication:1980
Language:English
Series:Dissertationes mathematicae 178
Subjects:
Nichtprädikative Erweiterung
Physical Description:44 S.
Notes:Literaturverz. S. [40]
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990001923120504498
lccn 80493539
ctrlnum AC07836329
(AT-OBV)AC07836329
(Aleph)007688693ACC01
(DE-599)BSZ007971281
(EXLNZ-43ACC_NETWORK)990076886930203331
collection bib_alma
institution YWOAW
building MAG1
record_format marc
spelling Ratajczyk, Zygmunt aut
On sentences provable in impredicative extensions of theories Zygmunt Ratajczyk
Warszawa PWN 1980
44 S.
Dissertationes mathematicae 178
Literaturverz. S. [40]
Zugl.: Warszawa, Polska Akademia Nauk, Diss., 1979
720 ff. (DDC): GBV/LOC
Axiomatic set theory Automatisch aus GBV_2011-10 2012-04-19
Predicate calculus Automatisch aus GBV_2011-10 2012-04-19
Nichtprädikative Erweiterung f
AT-OBV Automatisch aus BVB_2013-06 2013-03-28
(AT-OBV)AC00094393 178
YWOAW MAG1 84784.178 2215613340004498
language English
format Thesis
Book
author Ratajczyk, Zygmunt
spellingShingle Ratajczyk, Zygmunt
On sentences provable in impredicative extensions of theories
Dissertationes mathematicae
Nichtprädikative Erweiterung
author_facet Ratajczyk, Zygmunt
author_variant z r zr
author_role VerfasserIn
author_sort Ratajczyk, Zygmunt
title On sentences provable in impredicative extensions of theories
title_full On sentences provable in impredicative extensions of theories Zygmunt Ratajczyk
title_fullStr On sentences provable in impredicative extensions of theories Zygmunt Ratajczyk
title_full_unstemmed On sentences provable in impredicative extensions of theories Zygmunt Ratajczyk
title_auth On sentences provable in impredicative extensions of theories
title_new On sentences provable in impredicative extensions of theories
title_sort on sentences provable in impredicative extensions of theories
series Dissertationes mathematicae
series2 Dissertationes mathematicae
publisher PWN
publishDate 1980
physical 44 S.
isbn 8301011149
callnumber-raw 84784.178
callnumber-search 84784.178
topic Nichtprädikative Erweiterung
topic_facet Nichtprädikative Erweiterung
geographic_facet Automatisch aus GBV_2011-10 2012-04-19
illustrated Not Illustrated
work_keys_str_mv AT ratajczykzygmunt onsentencesprovableinimpredicativeextensionsoftheories
status_str n
ids_txt_mv (AT-OBV)AC07836329
AC07836329
(Aleph)007688693ACC01
(DE-599)BSZ007971281
(EXLNZ-43ACC_NETWORK)990076886930203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 84784.178
hol852cSonderstandort_txt_mv MAG1
itmData_txt_mv 2009-10-16 02:00:00 Europe/Vienna
barcode_str_mv +YW1570800X
callnumbers_txt_mv 84784.178
inventoryNumbers_str_mv 84784.178
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1
inventoryDates_str_mv 19990909
createdDates_str_mv 2009-10-16 02:00:00 Europe/Vienna
holdingIds_str_mv 2215613340004498
hierarchy_parent_id AC00094393
hierarchy_parent_title Dissertationes mathematicae 178
hierarchy_sequence 178
is_hierarchy_id AC07836329
is_hierarchy_title On sentences provable in impredicative extensions of theories
container_title Dissertationes mathematicae 178
container_reference AC00094393
_version_ 1796652500444512257
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01241nam#a2200385#cb4500</leader><controlfield tag="001">990001923120504498</controlfield><controlfield tag="005">20230219172407.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">091016|1980####|||######m####|||#|#eng#c</controlfield><controlfield tag="009">AC07836329</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">80493539</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8301011149</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC07836329</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC07836329</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)007688693ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ007971281</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990076886930203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OAW</subfield><subfield code="b">ger</subfield><subfield code="c">BSZ</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-PL</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 390</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-03-28</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ratajczyk, Zygmunt</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On sentences provable in impredicative extensions of theories</subfield><subfield code="c">Zygmunt Ratajczyk</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Warszawa</subfield><subfield code="b">PWN</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">44 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationes mathematicae</subfield><subfield code="v">178</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [40]</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Warszawa, Polska Akademia Nauk, Diss., 1979</subfield></datafield><datafield tag="591" ind1=" " ind2=" "><subfield code="a">720 ff. (DDC): GBV/LOC</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Axiomatic set theory</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-04-19</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Predicate calculus</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-04-19</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtprädikative Erweiterung</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-03-28</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00094393</subfield><subfield code="v">178</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="970" ind1="4" ind2=" "><subfield code="b">SWB</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-02-19 17:24:07 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 06:07:52 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">84784.178</subfield><subfield code="c">MAG1</subfield><subfield code="8">2215613340004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">84784.178</subfield><subfield code="8">2215613340004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2215613340004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW1570800X</subfield><subfield code="i">84784.178</subfield><subfield code="2">MAG1</subfield><subfield code="o">19990909</subfield><subfield code="8">2315613330004498</subfield><subfield code="f">02</subfield><subfield code="p">2009-10-16 02:00:00 Europe/Vienna</subfield><subfield code="h">84784.178</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-09-26 12:52:55 Europe/Vienna</subfield></datafield></record></collection>

Similar Items