海量图书期刊资源,随时随地畅享阅读乐趣
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositionsby J. C. C. McKinseyReview by: Paul Henle · The Journal of Symbolic Logic · 1940
The Algebra of TopologyJ. C. C. McKinsey and Alfred Tarski · Annals of Mathematics (Second Series) · 1944
Boolean functions and pointsMcKinsey, J. C. C. · Duke Mathematical Journal · 1936
Imperative Sentencesby R. M. HareReview by: J. C. C. McKinsey · The Journal of Symbolic Logic · 1950
Philosophy of Scienceby Willis MooreReview by: J. C. C. McKinsey · The Journal of Symbolic Logic · 1943
Sequencesby Nelson GoodmanReview by: J. C. C. McKinsey · The Journal of Symbolic Logic · 1942
On the Representation of Projective AlgebrasJ. C. C. McKinsey · American Journal of Mathematics · 1948
A New Definition of TruthJ. C. C. McKinsey · Synthese · 1948-1949
Introduction to the Theory of GamesBeckmann, Martin; McKinsey, J. C. C. · Econometrica · 1953
Computability and λ-DefinabilityA. M. Turing · The Journal of Symbolic Logic · 1937
Definability and Decision Problems in ArithmeticJulia Robinson · The Journal of Symbolic Logic · 1949
Arithmetical Problems and Recursively Enumerable PredicatesMartin Davis · The Journal of Symbolic Logic · 1953
The Interpretability Logic of Peano ArithmeticAlessandro Berarducci · The Journal of Symbolic Logic · 1990
Steps Toward a Constructive NominalismNelson Goodman and W. V. Quine · The Journal of Symbolic Logic · 1947
A Completeness Theorem in Modal LogicSaul A. Kripke · The Journal of Symbolic Logic · 1959
Models and RealityHilary Putnam · The Journal of Symbolic Logic · 1980
A Theory of Restricted Quantification ITheodore Hailperin · The Journal of Symbolic Logic · 1957