Formally self-referential propositions for cut free classical analysis and related systems

Formally self-referential propositions for cut free classical analysis and related systems / G. Kreisel and G. Takeuti

Saved in:
Bibliographic Details
Superior document:Dissertationes mathematicae 118
VerfasserIn:
Kreisel, Georg 1923-2015
Takeuti, Gaisi 1926-2017
Place / Publishing House:Warszawa : PWN, 1974
Year of Publication:1974
Language:English
Series:Dissertationes mathematicae 118
Physical Description:55 S.
Notes:Literaturverz. S. [49] - 50
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990001922530504498
ctrlnum AC07835058
(AT-OBV)AC07835058
(Aleph)007687434ACC01
(DE-599)BSZ004415647
(DE-604)8058139265
(EXLNZ-43ACC_NETWORK)990076874340203331
collection bib_alma
institution YWOAW
building MAG1
record_format marc
spelling Kreisel, Georg 1923-2015 (DE-588)119528592 aut
Formally self-referential propositions for cut free classical analysis and related systems G. Kreisel and G. Takeuti
Warszawa PWN 1974
55 S.
Dissertationes mathematicae 118
Literaturverz. S. [49] - 50
720 ff. bvb
Takeuti, Gaisi 1926-2017 (DE-588)107888580 aut
(AT-OBV)AC00094393 118
YWOAW MAG1 84784.118 2215617180004498
language English
format Book
author Kreisel, Georg 1923-2015
Takeuti, Gaisi 1926-2017
spellingShingle Kreisel, Georg 1923-2015
Takeuti, Gaisi 1926-2017
Formally self-referential propositions for cut free classical analysis and related systems
Dissertationes mathematicae
author_facet Kreisel, Georg 1923-2015
Takeuti, Gaisi 1926-2017
Takeuti, Gaisi 1926-2017
author_variant g k gk
g t gt
author_role VerfasserIn
VerfasserIn
author2 Takeuti, Gaisi 1926-2017
author2_role VerfasserIn
author_sort Kreisel, Georg 1923-2015
title Formally self-referential propositions for cut free classical analysis and related systems
title_full Formally self-referential propositions for cut free classical analysis and related systems G. Kreisel and G. Takeuti
title_fullStr Formally self-referential propositions for cut free classical analysis and related systems G. Kreisel and G. Takeuti
title_full_unstemmed Formally self-referential propositions for cut free classical analysis and related systems G. Kreisel and G. Takeuti
title_auth Formally self-referential propositions for cut free classical analysis and related systems
title_new Formally self-referential propositions for cut free classical analysis and related systems
title_sort formally self-referential propositions for cut free classical analysis and related systems
series Dissertationes mathematicae
series2 Dissertationes mathematicae
publisher PWN
publishDate 1974
physical 55 S.
callnumber-raw 84784.118
callnumber-search 84784.118
illustrated Not Illustrated
work_keys_str_mv AT kreiselgeorg formallyselfreferentialpropositionsforcutfreeclassicalanalysisandrelatedsystems
AT takeutigaisi formallyselfreferentialpropositionsforcutfreeclassicalanalysisandrelatedsystems
status_str n
ids_txt_mv (AT-OBV)AC07835058
AC07835058
(Aleph)007687434ACC01
(DE-599)BSZ004415647
(DE-604)8058139265
(EXLNZ-43ACC_NETWORK)990076874340203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 84784.118
hol852cSonderstandort_txt_mv MAG1
itmData_txt_mv 2009-10-16 02:00:00 Europe/Vienna
barcode_str_mv +YW15703803
callnumbers_txt_mv 84784.118
inventoryNumbers_str_mv 84784.118
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 2215617180004498
hierarchy_parent_id AC00094393
hierarchy_parent_title Dissertationes mathematicae 118
hierarchy_sequence 118
is_hierarchy_id AC07835058
is_hierarchy_title Formally self-referential propositions for cut free classical analysis and related systems
container_title Dissertationes mathematicae 118
container_reference AC00094393
author2_original_writing_str_mv noLinkedField
_version_ 1787551296308379648
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00973nam#a2200325#cb4500</leader><controlfield tag="001">990001922530504498</controlfield><controlfield tag="005">20230129174040.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">091016|1974####|||###########|||#|#eng#c</controlfield><controlfield tag="009">AC07835058</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC07835058</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC07835058</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)007687434ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ004415647</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-604)8058139265</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990076874340203331</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></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kreisel, Georg</subfield><subfield code="d">1923-2015</subfield><subfield code="0">(DE-588)119528592</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formally self-referential propositions for cut free classical analysis and related systems</subfield><subfield code="c">G. Kreisel and G. Takeuti</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Warszawa</subfield><subfield code="b">PWN</subfield><subfield code="c">1974</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">118</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [49] - 50</subfield></datafield><datafield tag="591" ind1=" " ind2=" "><subfield code="a">720 ff. bvb</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Takeuti, Gaisi</subfield><subfield code="d">1926-2017</subfield><subfield code="0">(DE-588)107888580</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00094393</subfield><subfield code="v">118</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-01-29 17:40:40 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:49 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">84784.118</subfield><subfield code="c">MAG1</subfield><subfield code="8">2215617180004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1</subfield><subfield code="h">84784.118</subfield><subfield code="8">2215617180004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2215617180004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW15703803</subfield><subfield code="i">84784.118</subfield><subfield code="2">MAG1</subfield><subfield code="o">19990909</subfield><subfield code="8">2315617170004498</subfield><subfield code="f">02</subfield><subfield code="p">2009-10-16 02:00:00 Europe/Vienna</subfield><subfield code="h">84784.118</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-09-26 12:52:44 Europe/Vienna</subfield></datafield></record></collection>

Similar Items