| Publication | Date of Publication | Type |
|---|
| Memories related to Professor Jin Yuelin. Translated by Montgomery Link and Richard Jandovitz | 2013-09-03 | Paper |
| From Kunming to New York. Translated by Richard Jandovitz and Montgomery Link | 2013-09-03 | Paper |
| Sets and concepts, on the basis of discussions with Gödel. Edited with an introduction and notes by Charles Parsons | 2013-09-03 | Paper |
Time in philosophy and in physics: from Kant and Einstein to Gödel.
Synthese | 2000-09-07 | Paper |
Computation, logic, philosophy. A collection of essays
Mathematics and Its Applications. Chinese Series | 1998-09-02 | Paper |
| scientific article; zbMATH DE number 1078589 (Why is no real title available?) | 1998-04-15 | Paper |
| scientific article; zbMATH DE number 1093813 (Why is no real title available?) | 1997-12-03 | Paper |
| scientific article; zbMATH DE number 873158 (Why is no real title available?) | 1996-05-02 | Paper |
| scientific article; zbMATH DE number 799313 (Why is no real title available?) | 1996-03-17 | Paper |
| scientific article; zbMATH DE number 437518 (Why is no real title available?) | 1994-08-28 | Paper |
| scientific article; zbMATH DE number 52450 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 47352 (Why is no real title available?) | 1992-09-17 | Paper |
To and from philosophy-discussions with Gödel and Wittgenstein
Synthese | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 19143 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 19157 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4021069 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3904000 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3882395 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3745119 (Why is no real title available?) | 1982-01-01 | Paper |
Some facts about Kurt Gödel
Journal of Symbolic Logic | 1981-01-01 | Paper |
Specker's mathematical work from 1949 to 1979
L'Enseignement Mathématique. 2e Série | 1981-01-01 | Paper |
Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
The Mathematical Intelligencer | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3582148 (Why is no real title available?) | 1977-01-01 | Paper |
Towards feasible solutions of the tautology problem
Annals of Mathematical Logic | 1976-01-01 | Paper |
Notes on a class of tiling problems
Fundamenta Mathematicae | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3882394 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3343518 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3336765 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3311420 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3339441 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3387291 (Why is no real title available?) | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3283789 (Why is no real title available?) | 1968-01-01 | Paper |
On Axioms of Conditional Set Existence
Mathematical Logic Quarterly | 1967-01-01 | Paper |
Natural Hulls and Set Existence
Mathematical Logic Quarterly | 1967-01-01 | Paper |
A Theorem on Definitions of the Zermelo‐Neumann Ordinals
Mathematical Logic Quarterly | 1967-01-01 | Paper |
Characterizations of ordinal numbers in set theory
Mathematische Annalen | 1966-01-01 | Paper |
Finite set theory, number theory and axioms of limitation
Mathematische Annalen | 1966-01-01 | Paper |
Short definitions of the ordinals
Journal of Symbolic Logic | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3332500 (Why is no real title available?) | 1965-01-01 | Paper |
| scientific article; zbMATH DE number 3216189 (Why is no real title available?) | 1965-01-01 | Paper |
Note on Rules of Inference
Mathematical Logic Quarterly | 1965-01-01 | Paper |
Logic and Computers
The American Mathematical Monthly | 1965-01-01 | Paper |
On ordinals
Bulletin of the American Mathematical Society | 1964-01-01 | Paper |
On ordinals
Bulletin of the American Mathematical Society | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3222108 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3173696 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3305100 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3179459 (Why is no real title available?) | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3181190 (Why is no real title available?) | 1963-01-01 | Paper |
Tag systems and lag systems
Mathematische Annalen | 1963-01-01 | Paper |
Words in the History of a Turing Machine with a Fixed Input
Journal of the ACM | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3273118 (Why is no real title available?) | 1962-01-01 | Paper |
ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
Proceedings of the National Academy of Sciences | 1962-01-01 | Paper |
Classification of $AEA$ formulas by letter atoms
Bulletin of the American Mathematical Society | 1962-01-01 | Paper |
The Calculus of Partial Predicates and Its Extension to Set Theory I
Mathematical Logic Quarterly | 1961-01-01 | Paper |
Number theoretic concepts and recursive well-orderings
Archiv für Mathematische Logik und Grundlagenforschung | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3172714 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3319537 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3234956 (Why is no real title available?) | 1960-01-01 | Paper |
Toward Mechanical Mathematics
IBM Journal of Research and Development | 1960-01-01 | Paper |
Proving theorems by pattern recognition I
Communications of the ACM | 1960-01-01 | Paper |
Ordinal Numbers and Predicative Set Theory
Mathematical Logic Quarterly | 1959-01-01 | Paper |
Alternative proof of a theorem of Kleene
Journal of Symbolic Logic | 1959-01-01 | Paper |
Circuit Synthesis by Solving Sequential Boolean Equations
Mathematical Logic Quarterly | 1959-01-01 | Paper |
EIGHTY YEARS OF FOUNDATIONAL STUDIES
Dialectica | 1958-01-01 | Paper |
Applications of formalized consistency proofs II
Fundamenta Mathematicae | 1958-01-01 | Paper |
The axiomatization of arithmetic
Journal of Symbolic Logic | 1957-01-01 | Paper |
Universal turing machines: An exercise in coding
Mathematical Logic Quarterly | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3115892 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3111916 (Why is no real title available?) | 1955-01-01 | Paper |
VI.—ON FORMALIZATION
Mind | 1955-01-01 | Paper |
Some applications of formalized consistency proofs
Fundamenta Mathematicae | 1955-01-01 | Paper |
Undecidable sentences generated by semantic paradoxes
Journal of Symbolic Logic | 1955-01-01 | Paper |
The formalization of mathematics
Journal of Symbolic Logic | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3078641 (Why is no real title available?) | 1953-01-01 | Paper |
Certain predicates defined by induction schemata
Journal of Symbolic Logic | 1953-01-01 | Paper |
Between number theory and set theory
Mathematische Annalen | 1953-01-01 | Paper |
The categoricity question of certain grand logics
Mathematische Zeitschrift | 1953-01-01 | Paper |
| Truth Definitions and Consistency Proofs | 1952-01-01 | Paper |
Logic of many-sorted theories
Journal of Symbolic Logic | 1952-01-01 | Paper |
VII.—NEGATIVE TYPES
Mind | 1952-01-01 | Paper |
The irreducibility of impredicative principles
Mathematische Annalen | 1952-01-01 | Paper |
| Arithmetic Translations of Axiom Systems | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3070439 (Why is no real title available?) | 1951-01-01 | Paper |
A formal system of logic
Journal of Symbolic Logic | 1950-01-01 | Paper |
Remarks on the Comparison of Axiom Systems
Proceedings of the National Academy of Sciences | 1950-01-01 | Paper |
Non-standard models for formal logics
Journal of Symbolic Logic | 1950-01-01 | Paper |
A Proof of Independence
The American Mathematical Monthly | 1950-01-01 | Paper |
Existence of classes and value specification of variables
Journal of Symbolic Logic | 1950-01-01 | Paper |
The Non-Finitizability of Impredicative Principles
Proceedings of the National Academy of Sciences | 1950-01-01 | Paper |
Set-theoretical basis for real numbers
Journal of Symbolic Logic | 1950-01-01 | Paper |
| scientific article; zbMATH DE number 3055109 (Why is no real title available?) | 1949-01-01 | Paper |
On Zermelo's and Von Neumann's Axioms for Set Theory
Proceedings of the National Academy of Sciences | 1949-01-01 | Paper |
A new theory of element and number
Journal of Symbolic Logic | 1948-01-01 | Paper |
A Note on Quine's principles of quantification
Journal of Symbolic Logic | 1947-01-01 | Paper |
