Kreiseliana. About and Around Georg Kreisel

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
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,217
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
Chapters BETA

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Number Theory and Elementary Arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.

Add more citations

Similar books and articles

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.
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.
A Notion of Mechanistic Theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
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

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes