On normalization of proofs in set theory

On normalization of proofs in set theory / Lars Hallnäs

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae 261
VerfasserIn:
Hallnäs, Lars
Place / Publishing House:Warszawa : Panstwowe Wydawnictwo Naukowe, 1988
Year of Publication:1988
Language:English
Series:Dissertationes mathematicae 261
Subjects:
Satz (DE-588)4138320-5 Theorie (DE-588)4059787-8 Deduktion (DE-588)4011271-8 Normung (DE-588)4042626-9
Mengenlehre (DE-588)4074715-3 Beweis (DE-588)4132532-1 Mathematik (DE-588)4037944-9 Normalisierung (DE-588)4206017-5
Physical Description:100 S.
Notes:Literaturverz. S. [95]
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990001917340504498
ctrlnum AC01829296
(AT-OBV)AC01829296
(Aleph)000075738ACC01
(DE-599)OBVAC01829296
(EXLNZ-43ACC_NETWORK)990000757380203331
collection bib_alma
institution YWOAW
building MAG1
record_format marc
spelling Hallnäs, Lars aut
On normalization of proofs in set theory Lars Hallnäs
Warszawa Panstwowe Wydawnictwo Naukowe 1988
100 S.
Dissertationes mathematicae 261
Literaturverz. S. [95]
Set theory Automatisch aus GBV_2011-10 2012-04-20
Satz s (DE-588)4138320-5
Theorie s (DE-588)4059787-8
Deduktion s (DE-588)4011271-8
Normung s (DE-588)4042626-9
AT-OBV Automatisch aus BVB_2013-06 2013-03-07
Mengenlehre s (DE-588)4074715-3
Beweis s (DE-588)4132532-1
Mathematik s (DE-588)4037944-9
Normalisierung s (DE-588)4206017-5
(AT-OBV)AC00094393 261
YWOAW MAG1 84784.261 2215603510004498
language English
format Book
author Hallnäs, Lars
spellingShingle Hallnäs, Lars
On normalization of proofs in set theory
Dissertationes mathematicae
Satz (DE-588)4138320-5
Theorie (DE-588)4059787-8
Deduktion (DE-588)4011271-8
Normung (DE-588)4042626-9
Mengenlehre (DE-588)4074715-3
Beweis (DE-588)4132532-1
Mathematik (DE-588)4037944-9
Normalisierung (DE-588)4206017-5
author_facet Hallnäs, Lars
author_variant l h lh
author_role VerfasserIn
author_sort Hallnäs, Lars
title On normalization of proofs in set theory
title_full On normalization of proofs in set theory Lars Hallnäs
title_fullStr On normalization of proofs in set theory Lars Hallnäs
title_full_unstemmed On normalization of proofs in set theory Lars Hallnäs
title_auth On normalization of proofs in set theory
title_new On normalization of proofs in set theory
title_sort on normalization of proofs in set theory
series Dissertationes mathematicae
series2 Dissertationes mathematicae
publisher Panstwowe Wydawnictwo Naukowe
publishDate 1988
physical 100 S.
isbn 8301076046
callnumber-raw 84784.261
callnumber-search 84784.261
topic Satz (DE-588)4138320-5
Theorie (DE-588)4059787-8
Deduktion (DE-588)4011271-8
Normung (DE-588)4042626-9
Mengenlehre (DE-588)4074715-3
Beweis (DE-588)4132532-1
Mathematik (DE-588)4037944-9
Normalisierung (DE-588)4206017-5
topic_facet Satz
Theorie
Deduktion
Normung
Mengenlehre
Beweis
Mathematik
Normalisierung
geographic_facet Automatisch aus GBV_2011-10 2012-04-20
illustrated Not Illustrated
work_keys_str_mv AT hallnaslars onnormalizationofproofsinsettheory
status_str n
ids_txt_mv (AT-OBV)AC01829296
AC01829296
(Aleph)000075738ACC01
(DE-599)OBVAC01829296
(EXLNZ-43ACC_NETWORK)990000757380203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 84784.261
hol852cSonderstandort_txt_mv MAG1
itmData_txt_mv 2009-10-02 02:00:00 Europe/Vienna
barcode_str_mv +YW15091408
callnumbers_txt_mv 84784.261
inventoryNumbers_str_mv 84784.261
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1
inventoryDates_str_mv 19990909
createdDates_str_mv 2009-10-02 02:00:00 Europe/Vienna
holdingIds_str_mv 2215603510004498
hierarchy_parent_id AC00094393
hierarchy_parent_title Dissertationes mathematicae 261
hierarchy_sequence 261
is_hierarchy_id AC01829296
is_hierarchy_title On normalization of proofs in set theory
container_title Dissertationes mathematicae 261
container_reference AC00094393
_version_ 1794383658266656769
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01405nam#a2200421zcb4500</leader><controlfield tag="001">990001917340504498</controlfield><controlfield tag="005">20230127214154.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">970225|1988####|||###########|||#|#eng#c</controlfield><controlfield tag="009">AC01829296</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">8301076046</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC01829296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC01829296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)000075738ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC01829296</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990000757380203331</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-03-07</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hallnäs, Lars</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On normalization of proofs in set theory</subfield><subfield code="c">Lars Hallnäs</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Warszawa</subfield><subfield code="b">Panstwowe Wydawnictwo Naukowe</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">100 S.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dissertationes mathematicae</subfield><subfield code="v">261</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [95]</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Set theory</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-04-20</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Satz</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4138320-5</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theorie</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4059787-8</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Deduktion</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4011271-8</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Normung</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4042626-9</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-03-07</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Mengenlehre</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4074715-3</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Beweis</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4132532-1</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4037944-9</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Normalisierung</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4206017-5</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-03-07</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00094393</subfield><subfield code="v">261</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">23</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-03-24 05:54:20 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:45 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">84784.261</subfield><subfield code="c">MAG1</subfield><subfield code="8">2215603510004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">84784.261</subfield><subfield code="8">2215603510004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2215603510004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW15091408</subfield><subfield code="i">84784.261</subfield><subfield code="2">MAG1</subfield><subfield code="o">19990909</subfield><subfield code="8">2315603500004498</subfield><subfield code="f">02</subfield><subfield code="p">2009-10-02 02:00:00 Europe/Vienna</subfield><subfield code="h">84784.261</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-09-26 12:52:49 Europe/Vienna</subfield></datafield></record></collection>

Similar Items