| Portrait of Young Gödel: Education, First Steps in Logic, the Problem of Completeness |
Jan von Plato |
Fernando Ferreira |
Philosophia Mathematica |
2025-12-21 |
| Philosophical History and the Problem of Consciousness |
Paul M Livingston |
R Vilkko |
History and Philosophy of Logic |
2005-09-01 |
| Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland: Mit einem Essay von Jan von Plato |
Eckart Menzler-Trott |
Volker Peckhaus |
The Bulletin of Symbolic Logic |
2003-12-01 |
| The Classical Decision Problem |
Egon Börger |
Maarten Marx |
Journal of Logic, Language and Information |
1999-10-01 |
| Set theory and the continuum problem |
Raymond M. Smullyan and Melvin Fitting |
James Cummings |
The Journal of Symbolic Logic |
1999 |
| The core model iterability problem |
John R. Steel |
Ernest Schimmerling |
The Journal of Symbolic Logic |
1998 |
| Solving the frame problem. A mathematical investigation of the common sense law of inertia |
Murray Shanahan |
Michael Gelfond |
The Journal of Symbolic Logic |
1998 |
| Hilbert's tenth problem. English translation of Desyataya problema Gil'berta, with a foreword by Martin Davis |
Yuri V. Matiyasevich |
C. Dimitracopoulos |
The Journal of Symbolic Logic |
1997 |
| Logical investigations of predication theory and the problem of universals |
Nino B. Cocchiarella |
Woosuk Park |
The Journal of Symbolic Logic |
1988 |
| Introduction to the Problem of Individuation in the Early Middle Ages |
Jorge J E Gracia |
E P Bos |
History and Philosophy of Logic |
1986-01-01 |
| The decision problem. Solvable classes of quantificational formulas |
Burton Dreben |
Peter B. Andrews |
The Journal of Symbolic Logic |
1982 |
| Logic for problem solving |
Robert Kowalski |
Donald W. Loveland |
The Journal of Symbolic Logic |
1982 |
| Cerebral Logic: Solving the Problem of Mind and Brain |
Charles W Needham |
Charles G Wilber |
The Modern Schoolman: A Quarterly Journal of Philosophy |
1979-11-01 |
| Word Problems, Decision Problems and the Burnside Problem in Group Theory |
William W Boone |
C R J Clapham |
The Journal of Symbolic Logic |
1976-12-01 |
| Jaakko Hintikka. Induction by enumeration and induction by elimination. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science |
Jaakko Hintikka |
Henry E Kyburg Jr |
The Journal of Symbolic Logic |
1975 |
| Rudolf Carnap. Inductive logic and inductive intuition. The problem of inductive logic, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos, Studies in logic and the foundations of mathematics |
Henry E. Kyburg |
The Journal of Symbolic Logic |
1975 |
| The Problem of Inductive Logic |
Imre Lakatos |
Alex C. Michalos |
Philosophy of Science |
1972-03-01 |
| The Problem of Induction and its Solution |
Jerrold J. Katz |
Alonzo Church |
The Journal of Symbolic Logic |
1971 |
| The Problem of Inductive Logic |
Imre Lakatos |
D H Mellor |
The Philosophical Quarterly |
1970-10-01 |
| On the decision problem for algebraic rings |
Julia Robinson |
V. H. Dyson |
The Journal of Symbolic Logic |
1970 |
| The problem of predicativity |
J. R. Shoenfield |
George S. Boolos |
The Journal of Symbolic Logic |
1969-11-17 |
| The Problem of Inductive Logic |
Imre Lakatos |
Frederic Schick |
The British Journal for the Philosophy of Science |
1969-10-01 |
| The Problem of Inductive Logic, Proceedings of the International Colloquium in the Philosophy of Science |
Imre Lakatos |
Isaac Levi |
Synthese |
1969-06-00 |
| Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic |
Andrzej Mostowski |
Raphael M. Robinson |
The Journal of Symbolic Logic |
1967 |
| Problema sovpadenija dialektiki, logiki i teorii poznanija (po Filosofskim tetradjam V. I. Lenina) (The Problem of the Coincidence of Dialectic, Logic and Theory of Knowledge (On the Basis of Lenin's "Philosophic Notebooks")) |
A. X. Kasymžanov |
T. J. Blakeley |
Studies in Soviet Thought |
1963-09-00 |
| Nérazréšimosť problémy goméomorfii (Insolubility of the problem of homeomorpby) |
A. A. Markov |
Dana Scott |
The Journal of Symbolic Logic |
1962 |
| Solvable cases of the decision problem |
W. Ackermann |
Paul Bernays |
The Journal of Symbolic Logic |
1957 |
| Zutn Problem der Konstitution von Bedeutung |
Hans Heinz Holz |
Alonzo Church |
The Journal of Symbolic Logic |
1955 |
| Bemerkungen zum Problem der mehrwertigen Logiken |
Gerhard Frey |
A. R. Turquette |
The Journal of Symbolic Logic |
1954 |
| Special cases of the decision problem |
Alonzo Church |
Wilhelm Ackermann |
The Journal of Symbolic Logic |
1952 |
| Reduction of the decision problem to formulae containing a bounded number of quantifiers only |
János Surányi |
Andrzej Mostowski |
The Journal of Symbolic Logic |
1949-06-23 |
| The Problem of Logic |
Andrew Paul Ushenko |
Anders Wedberg |
The Philosophical Review |
1943-03-00 |
