Definable quantifiers in second order arithmetic and elementary extensions of w-models / Wojciech Guzicki
Saved in:
Superior document: | Dissertationes mathematicae 208 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Warszawa : Panstwowe Wydawnictwo Naukowe, 1983 |
Year of Publication: | 1983 |
Language: | English |
Series: | Dissertationes mathematicae
208 |
Physical Description: | 55 S. |
Notes: | Literaturverz. S. [50] - 51 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
990001924540504498 |
---|---|
ctrlnum |
AC01848790 (AT-OBV)AC01848790 (Aleph)000075740ACC01 (DE-599)OBVAC01848790 (EXLNZ-43ACC_NETWORK)990000757400203331 |
collection |
bib_alma |
institution |
YWOAW |
building |
MAG1 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00817nam#a2200277zcb4500</leader><controlfield tag="001">990001924540504498</controlfield><controlfield tag="005">20230127214333.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">970311|1983####|||###########|||#|#eng#c</controlfield><controlfield tag="009">AC01848790</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8301027207</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC01848790</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC01848790</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)000075740ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC01848790</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990000757400203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">RET</subfield><subfield code="b">ger</subfield><subfield code="d">OAW</subfield><subfield code="e">rakwb</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="100" ind1="1" ind2=" "><subfield code="a">Guzicki, Wojciech</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Definable quantifiers in second order arithmetic and elementary extensions of w-models</subfield><subfield code="c">Wojciech Guzicki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Warszawa</subfield><subfield code="b">Panstwowe Wydawnictwo Naukowe</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">55 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationes mathematicae</subfield><subfield code="v">208</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [50] - 51</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00094393</subfield><subfield code="v">208</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-01-27 21:43:33 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.208</subfield><subfield code="c">MAG1</subfield><subfield code="8">2215612650004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">84784.208</subfield><subfield code="8">2215612650004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2215612650004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW15711708</subfield><subfield code="i">84784.208</subfield><subfield code="2">MAG1</subfield><subfield code="o">19990909</subfield><subfield code="8">2315612640004498</subfield><subfield code="f">02</subfield><subfield code="p">2009-10-23 02:00:00 Europe/Vienna</subfield><subfield code="h">84784.208</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-09-26 12:52:53 Europe/Vienna</subfield></datafield></record></collection> |
record_format |
marc |
spelling |
Guzicki, Wojciech aut Definable quantifiers in second order arithmetic and elementary extensions of w-models Wojciech Guzicki Warszawa Panstwowe Wydawnictwo Naukowe 1983 55 S. Dissertationes mathematicae 208 Literaturverz. S. [50] - 51 (AT-OBV)AC00094393 208 YWOAW MAG1 84784.208 2215612650004498 |
language |
English |
format |
Book |
author |
Guzicki, Wojciech |
spellingShingle |
Guzicki, Wojciech Definable quantifiers in second order arithmetic and elementary extensions of w-models Dissertationes mathematicae |
author_facet |
Guzicki, Wojciech |
author_variant |
w g wg |
author_role |
VerfasserIn |
author_sort |
Guzicki, Wojciech |
title |
Definable quantifiers in second order arithmetic and elementary extensions of w-models |
title_full |
Definable quantifiers in second order arithmetic and elementary extensions of w-models Wojciech Guzicki |
title_fullStr |
Definable quantifiers in second order arithmetic and elementary extensions of w-models Wojciech Guzicki |
title_full_unstemmed |
Definable quantifiers in second order arithmetic and elementary extensions of w-models Wojciech Guzicki |
title_auth |
Definable quantifiers in second order arithmetic and elementary extensions of w-models |
title_new |
Definable quantifiers in second order arithmetic and elementary extensions of w-models |
title_sort |
definable quantifiers in second order arithmetic and elementary extensions of w-models |
series |
Dissertationes mathematicae |
series2 |
Dissertationes mathematicae |
publisher |
Panstwowe Wydawnictwo Naukowe |
publishDate |
1983 |
physical |
55 S. |
isbn |
8301027207 |
callnumber-raw |
84784.208 |
callnumber-search |
84784.208 |
illustrated |
Not Illustrated |
work_keys_str_mv |
AT guzickiwojciech definablequantifiersinsecondorderarithmeticandelementaryextensionsofwmodels |
status_str |
n |
ids_txt_mv |
(AT-OBV)AC01848790 AC01848790 (Aleph)000075740ACC01 (DE-599)OBVAC01848790 (EXLNZ-43ACC_NETWORK)990000757400203331 |
hol852bOwn_txt_mv |
YWOAW |
hol852hSignatur_txt_mv |
84784.208 |
hol852cSonderstandort_txt_mv |
MAG1 |
itmData_txt_mv |
2009-10-23 02:00:00 Europe/Vienna |
barcode_str_mv |
+YW15711708 |
callnumbers_txt_mv |
84784.208 |
inventoryNumbers_str_mv |
84784.208 |
materialTypes_str_mv |
BOOK |
permanentLibraries_str_mv |
YWOAW |
permanentLocations_str_mv |
MAG1 |
inventoryDates_str_mv |
19990909 |
createdDates_str_mv |
2009-10-23 02:00:00 Europe/Vienna |
holdingIds_str_mv |
2215612650004498 |
hierarchy_parent_id |
AC00094393 |
hierarchy_parent_title |
Dissertationes mathematicae 208 |
hierarchy_sequence |
208 |
is_hierarchy_id |
AC01848790 |
is_hierarchy_title |
Definable quantifiers in second order arithmetic and elementary extensions of w-models |
container_title |
Dissertationes mathematicae 208 |
container_reference |
AC00094393 |
_version_ |
1796652500149862403 |