Completeness properties of classical theories of finite type and the normal form theorem

Completeness properties of classical theories of finite type and the normal form theorem / Peter Päppinghaus

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae 207
VerfasserIn:
Päppinghaus, Peter
Place / Publishing House:Warszawa : Panstwowe Wydawnictwo Naukowe, 1983
Year of Publication:1983
Language:English
Series:Dissertationes mathematicae 207
Subjects:
Vollständigkeitseigenschaft Normalformsatz
Physical Description:66 S.
Notes:Literaturverz. S. [62]
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990001924530504498
ctrlnum AC02064167
(AT-OBV)AC02064167
(Aleph)000075774ACC01
(DE-599)OBVAC02064167
(EXLNZ-43ACC_NETWORK)990000757740203331
collection bib_alma
institution YWOAW
building MAG1
record_format marc
spelling Päppinghaus, Peter aut
Completeness properties of classical theories of finite type and the normal form theorem Peter Päppinghaus
Warszawa Panstwowe Wydawnictwo Naukowe 1983
66 S.
Dissertationes mathematicae 207
Literaturverz. S. [62]
Vollständigkeitseigenschaft f
Normalformsatz f
AT-OBV Automatisch aus BVB_2013-06 2013-02-28
(AT-OBV)AC00094393 207
YWOAW MAG1 84784.207 2215615900004498
language English
format Book
author Päppinghaus, Peter
spellingShingle Päppinghaus, Peter
Completeness properties of classical theories of finite type and the normal form theorem
Dissertationes mathematicae
Vollständigkeitseigenschaft
Normalformsatz
author_facet Päppinghaus, Peter
author_variant p p pp
author_role VerfasserIn
author_sort Päppinghaus, Peter
title Completeness properties of classical theories of finite type and the normal form theorem
title_full Completeness properties of classical theories of finite type and the normal form theorem Peter Päppinghaus
title_fullStr Completeness properties of classical theories of finite type and the normal form theorem Peter Päppinghaus
title_full_unstemmed Completeness properties of classical theories of finite type and the normal form theorem Peter Päppinghaus
title_auth Completeness properties of classical theories of finite type and the normal form theorem
title_new Completeness properties of classical theories of finite type and the normal form theorem
title_sort completeness properties of classical theories of finite type and the normal form theorem
series Dissertationes mathematicae
series2 Dissertationes mathematicae
publisher Panstwowe Wydawnictwo Naukowe
publishDate 1983
physical 66 S.
isbn 8301026391
callnumber-raw 84784.207
callnumber-search 84784.207
topic Vollständigkeitseigenschaft
Normalformsatz
topic_facet Vollständigkeitseigenschaft
Normalformsatz
illustrated Not Illustrated
work_keys_str_mv AT pappinghauspeter completenesspropertiesofclassicaltheoriesoffinitetypeandthenormalformtheorem
status_str n
ids_txt_mv (AT-OBV)AC02064167
AC02064167
(Aleph)000075774ACC01
(DE-599)OBVAC02064167
(EXLNZ-43ACC_NETWORK)990000757740203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 84784.207
hol852cSonderstandort_txt_mv MAG1
itmData_txt_mv 2009-10-23 02:00:00 Europe/Vienna
barcode_str_mv +YW15711605
callnumbers_txt_mv 84784.207
inventoryNumbers_str_mv 84784.207
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 2215615900004498
hierarchy_parent_id AC00094393
hierarchy_parent_title Dissertationes mathematicae 207
hierarchy_sequence 207
is_hierarchy_id AC02064167
is_hierarchy_title Completeness properties of classical theories of finite type and the normal form theorem
container_title Dissertationes mathematicae 207
container_reference AC00094393
_version_ 1787551534852079617
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01034nam#a2200325zcb4500</leader><controlfield tag="001">990001924530504498</controlfield><controlfield tag="005">20230303194917.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">970901|1983####|||###########|||#|#eng#c</controlfield><controlfield tag="009">AC02064167</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8301026391</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC02064167</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC02064167</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)000075774ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC02064167</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990000757740203331</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="084" ind1=" " ind2=" "><subfield code="a">SI 390</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-02-28</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Päppinghaus, Peter</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Completeness properties of classical theories of finite type and the normal form theorem</subfield><subfield code="c">Peter Päppinghaus</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">66 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationes mathematicae</subfield><subfield code="v">207</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [62]</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Vollständigkeitseigenschaft</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Normalformsatz</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-02-28</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00094393</subfield><subfield code="v">207</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-03-03 19:49:17 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:50 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">84784.207</subfield><subfield code="c">MAG1</subfield><subfield code="8">2215615900004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">84784.207</subfield><subfield code="8">2215615900004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2215615900004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW15711605</subfield><subfield code="i">84784.207</subfield><subfield code="2">MAG1</subfield><subfield code="o">19990909</subfield><subfield code="8">2315615890004498</subfield><subfield code="f">02</subfield><subfield code="p">2009-10-23 02:00:00 Europe/Vienna</subfield><subfield code="h">84784.207</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-09-26 12:52:52 Europe/Vienna</subfield></datafield></record></collection>

Similar Items