登入選單
Google圖書搜尋
Proof Theory
作者
Wolfram Pohlers
出版Springer Science & Business Media, 2008-10-01
ISBN
9783540693192 / 354069319X
主題
Mathematics
Proof Theory
作者
Wolfram Pohlers
出版Springer, 2009-06-10
ISBN
9783540468257 / 3540468250
主題
Mathematics
˜Anœ introduction to mathematical logic
作者
Wolfram Pohlers / Thomas Glaß
出版1992
ISBN
OCLC:1071554608
Proof Theory
作者
Wolfram Pohlers
出版2014-01-15
ISBN
3662178974 / 9783662178973
Proof Theory and Ordinal Analysis
作者
Mathematical Sciences Research Institute (Berkeley, Calif.). / Wolfram Pohlers
出版1990
ISBN
OCLC:25767250
Logic Colloquium '02: Lecture Notes in Logic 27
作者
Zoé Chatzidakis / Peter Koepke / Wolfram Pohlers
出版A K Peters/CRC Press, 2006-07-13
ISBN
1568813007 / 9781568813004
主題
Mathematics
Alternative Interpretations of Cardinals in Autono...
作者
Mathematical Sciences Research Institute (Berkeley, Calif.). / Wolfram Pohlers
出版1990
ISBN
OCLC:25767251
Provable Wellorderings of Formal Theories for Tran...
作者
Wilfried Buchholz / Wolfram Pohlers
出版1978
ISBN
OCLC:1074552433
Making Beautiful Deep-Sky Images
作者
Greg Parker
出版Springer, 2008-11-01
ISBN
0387518428 / 9780387518428
主題
Science
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers (Mathématicien)
出版1973
ISBN
OCLC:600945721
Eine grenze fur die herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
UCAL:B2699958
Mathematische Grundlagen der Informatik
作者
Wolfram Pohlers
出版Walter de Gruyter GmbH & Co KG, 2020-10-12
ISBN
9783110703061 / 3110703068
主題
Computers
Eine Grenze für die Herleitbarkeit der Transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:634515958
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:258197827
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:1183880330
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:721467620
Eine Grenze fuer die Herleitbarkeit der transfinit...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:310571370
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:631595632
˜Eineœ Grenze fuer die Herleitbarkeit der transfin...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:1068005738
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:74394749
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers (Mathematiker)
出版1973
ISBN
OCLC:888573453
Eine Grenze für die Herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
OCLC:631595632
Eine Grenze für die Herleitbarkeit der transfinite...
出版1973
ISBN
OCLC:913113683
Wolfram
作者
Wolfram
出版1995-12-01
ISBN
0201598264 / 9780201598261
The Wolfram MathWorld
作者
Wolfram Research Europe
出版2007
ISBN
OCLC:1012510876
Beweistheorie der iterierten induktiven Definition...
作者
Wolfram Pohlers
出版1977
ISBN
OCLC:67774603
Eine beweistheoretische Untersuchung von Delta12-C...
作者
Gerhard Jäger / Wolfram Pohlers
出版1982
ISBN
3769646991 / 9783769646993
Axiomatische Mengenlehre : Vorlesung von Prof. Dr....
作者
Kurt Schütte
出版1969
ISBN
OCLC:1046175003
Proof Theory
作者
Wolfram Pohlers
出版Springer Science & Business Media, 2008-10-01
ISBN
9783540693192 / 354069319X
主題
Mathematics
Eine grenze fur die herleitbarkeit der transfinite...
作者
Wolfram Pohlers
出版1973
ISBN
UCAL:B2699958