Research Article
Descriptive completeness and inductive methods
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-160
-
- Article
- Export citation
Reviews
Hao Wang. The axiomatic method. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 1–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Research Article
On the solvability of a subclass of the surányi reduction class1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-244
-
- Article
- Export citation
A weak completeness theorem for infinite valued first-order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-50
-
- Article
- Export citation
Reviews
Reviews - Heinrich Scholz and Gisbert Hasenjaeger. Grundzüge der mathematischen Logik. Springer-Verlag, Berlin-Göttingen-Heidelberg1961, XVI + 504 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-249
-
- Article
- Export citation
Research Article
On n-adic representation of numbers1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 161-163
-
- Article
- Export citation
What is strict implication?
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 51-71
-
- Article
- Export citation
Reviews
Hao Wang. Eighty years of foundational studies. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 34–56. A reprint of XXVIII 173.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Hao Wang. On formalization. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 57–67. A reprint of XXII 292.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Research Article
Some remarks concerning theories with recursively enumerable complements1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-74
-
- Article
- Export citation
Reviews
Marian Przełęcki. Pojęcia teoretyczne a doświadczenie (Theoretical concepts and experience). Polish, with Russian and English summaries. Studia logica, vol. 11 (1961), pp. 91–138.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 164-165
-
- Article
- Export citation
Hiroshi Nagai. The concept of formality in mathematics. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 5 (1960), pp. 289–312.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 249-250
-
- Article
- Export citation
K. Jaakko J. Hintikka. Loogisen kielentutkimuksen näköaloja (On the logical study of language). Ajatus, vol. 19 (1956), pp. 81–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 165
-
- Article
- Export citation
Research Article
Remark on a system of bernays
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 75-76
-
- Article
- Export citation
Reviews
Hao Wang. The axiomatization of arithmetic. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 68–81. A reprint of XXVII 77.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 288
-
- Article
- Export citation
Hao Wang. The predicate calculus. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 307–321.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation
Francis C. Oglesby. An examination of a decision procedure. Memoirs of the American Mathematical Society, no. 44. American Mathematical Society, Providence 1962, 148 pp. - F. C. Oglesby. Report: An examination of a decision procedure. Bulletin of the American Mathematical Society, vol. 67 (1961), pp. 300–304.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 165-166
-
- Article
- Export citation
Research Article
Axiomatization of the infinite-valued predicate calculus1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-86
-
- Article
- Export citation
Reviews
Hao Wang. A variant to Turing's theory of computing machines. Journal of the Association for Computing Machinery, vol. 4 (1957), pp. 63–92. Reprinted as A variant to Turing's theory of calculating machines, in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 127–159. - Hao Wang. Universal Turing machines: an exercise in coding. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 69–80. Reprinted in A survey of mathematical logic, by Hao Wang, Studies in logic and the foundations of mathematics. Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 160–174.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
-
- Article
- Export citation
Hao Wang. Many-sorted predicate calculi. A survey of mathematical logic. Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 322–333.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
-
- Article
- Export citation