海量图书期刊资源,随时随地畅享阅读乐趣
Symbolic Logicby E. W. BethReview by: Norman M. Martin · The Journal of Symbolic Logic · 1952
Cybernetics and Managementby Stafford BeerReview by: Norman M. Martin · The Journal of Symbolic Logic · 1960
Die Philosophie Carnapsby Lothar KrauthReview by: Norman M. Martin · The Philosophical Quarterly · 1972
Some Generalized Sheffer Functionsby Alan RoseReview by: Norman M. Martin · The Journal of Symbolic Logic · 1953
History of Logicby E. W. BethReview by: Norman M. Martin · The Journal of Symbolic Logic · 1952
Results and Possibilities of Formalized Logicby R. FeysReview by: Norman M. Martin · The Journal of Symbolic Logic · 1952
A Precis of Mathematical Logicby J. M. BochenskiReview by: Norman M. Martin · The Journal of Symbolic Logic · 1960
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