Archive der Universität Konstanz

Signatur:	GK 8-1-53
Titel:	On weak completeness of intuitionistic predicative logic
Laufzeit:	1962
Enthält:	2 Sonderdrucke des Artikels "On weak completeness of intuitionistic predicative logic" aus The Journal of Sxmbolic Logic 27 (1962)
Umfang:	2 Sonderdrucke
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-53

GK 8-1-54 - Abstracts of papers - 1962

GK 8-1-55 - Foundations of intuitionistic logic - 1962

GK 8-1-56 - Hilbert's Programme - 1964

GK 8-1-57 - Metarecursive sets - 1965

GK 8-1-58 - Mathematical logic - 1965

GK 8-1-59 - Model-theoretic invariants: Apllications to recurs - 1965

GK 8-1-60 - Strong Models of Arithmetic - 1966

GK 8-1-61 - Persistent and invariant formulas relative to theo - 1966

GK 8-1-62 - Transfinite induction and bar induction of types z - 1966

GK 8-1-63 - Mathematical logic: What has it done for the philo - 1967

GK 8-1-64 - Zwei Abstracts zu Rekursivität - 1967

GK 8-1-65 - Informal rigour and completeness proofs - 1967

GK 8-1-66 - Lawless sequences of natural numbers - 1968

GK 8-1-67 - A survey of proof theory - 1968

GK 8-1-68 - Zwei Abstracts aus JSP - 1968

GK 8-1-69 - Functions, ordinals, species - 1968

GK 8-1-70 - Foundations of Mathematics: 1900-1950 - 1968

GK 8-1-71 - Choice of infinitary languages by means of definab - 1968

GK 8-1-72 - Reflection principles and their use for establishi - 1968

GK 8-1-73 - Axiomatizations of nonstandard analysis that are c - 1969

GK 8-1-74 - Luitzen Egbertus Jan Brouwer 1881-1966 - 1969

GK 8-1-75 - Two notes on the foundations of set theory - 1969

GK 8-1-76 - Appendix II. Category theory and the foundations o - 1969

GK 8-1-77 - Formal systems for some branches of intuitionistic - 1970

GK 8-1-78 - Church's thesis: A kind of reducibility axiom for - 1970

GK 8-1-79 - Principles of proof and oridnals implicit in given - 1970

GK 8-1-80 - The formalist-positivist doctrine of mathematical - 1970

GK 8-1-81 - Hilbert's programme and the search for automatic p - 1970

GK 8-1-82 - Observations on popular discussions of foundation - 1971

GK 8-1-83 - Some reasons for generalizing recursion theory - 1971

GK 8-1-84 - A survey of proof therory II - 1971

GK 8-1-85 - Five notes on the application of proof theory to - 1971

GK 8-1-86 - Which number theoretic problems can be solved in r - 1972

GK 8-1-87 - Bertrand Arthur William Russsell, Earl Russell 187 - 1973

GK 8-1-88 - Perspectives in the philosophy of pure mathematics - 1973

GK 8-1-89 - Formally self-referential propositions for cut fre - 1974

Digitalisierte Bilder gesperrt bis: 31.12.2050

Signatur:	GK 8-1-89
Titel:	Formally self-referential propositions for cut free classical analysis and related systems
Laufzeit:	1974
Enthält:	zwei Sonderdrucke des zusammen mit Gaisi Takeuti verfaßten Artikels "Formally self-referential propositions for cut free classical analysis and related systems" aus: Dissertationes Mathematicae 118 (1974)
Umfang:	2 Sonderdrucke
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-89