Archive der Universität Konstanz

Signatur:	GK 8-1-55
Titel:	Foundations of intuitionistic logic
Laufzeit:	1962
Enthält:	2 Sonderdrucke des Artikels "Foundations of intuitionistic logic" aus Logic, Methodology and Philosophy of Science. Proceedings of the 1960 International Congress, hg. v. E. Nagel, P. Suppes und A. Tarski, Standford, Calf. 1962
Umfang:	2 Sonderdrucke
Bestellsignatur:	PAKN, GK (Georg Kreisel), GK 8-1-55

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

GK 8-1-90 - Observations on a recent generalization of complet - 1974

GK 8-1-91 - What have we learnt from Hilbert's second problem? - 1974

GK 8-1-92 - Die formalistisch-positivistische Doktrin der math - 1974

GK 8-1-93 - A notion of mechanistic theory - 1974

GK 8-1-94 - Was hat die Logik in den letzten 25 Jahren für die - 1975

GK 8-1-95 - The use of abstract language in elementary metamat - 1975

GK 8-1-96 - Der unheilvolle Einbruch der Logik in die Mathemat - 1976

GK 8-1-97 - Relative consistency proofs. II - 1976

GK 8-1-98 - A notion of mechanistic theory - 1976

GK 8-1-99 - Some uses of proof theory for finding computer pro - 1977

GK 8-1-100 - Wie die Beweistheorie zu ihren Ordinalzahlen kam u - 1977

<< < 1 2 3 > >>

Sonderdrucksammlung Rezensionen

Schriftensammlung

Korrespondenz mit Verena Huber-Dyson

Korrespondenz mit Albert Visser

Korrespondenz mit Brian McGuinness

PAKN, PL Paul Lorenzen

PAKN, HR Hans Reichenbach

PAKN, BT Bruno Thüring

Deposita

Sozialwissenschaftliches Archiv

Universitätsarchiv