Kreiseliana. About and Around Georg Kreisel
Piergiorgio Odifreddi (ed.)
A K Peters (1996)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | Kreisel, Georg Mathematicians Mathematics Logic, Symbolic and mathematical |
| Categories | (categorize this paper) |
| Buy the book | $200.00 used Amazon page |
| ISBN(s) | 156881061X 156881061X |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
Chapters BETA
References found in this work BETA
No references found.
Citations of this work BETA
Number Theory and Elementary Arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
Similar books and articles
Mathematical Logic: What has It Done for the Philosophy of Mathematics?Carlo Cellucci - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel, pp. 365-388. A K Peters.
Kreisel's 'Unwinding Program'.Solomon Feferman - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana. About and Around Georg Kreisel. A K Peters. pp. 247--273.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
Church's Thesis and the Ideal of Informal Rigour.Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.
Book Review: Collected Works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel. [REVIEW]Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 29 (1):160-181.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Elements of Mathematical Logic: Model Theory.Georg Kreisel - 1967 - Amsterdam: North Holland Pub. Co..
Kreisel, the Continuum Hypothesis and Second Order Set Theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
Actions, Norms, Values: Discussions with Georg Henrik Von Wright.Georg Meggle & Andreas Wojcik (eds.) - 1999 - W. De Gruyter.
Some Uses of Mathematics.G. Kreisel - 1956 - British Journal for the Philosophy of Science 7 (26):161-173.
Analytics
Added to PP index
2011-05-14
Total views
0
Recent downloads (6 months)
0
2011-05-14
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.
