Contents
Reviews
Michael O. Rabin. Decidability and definability in second-order theories. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 239–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 623
-
- Article
- Export citation
Marian Przełȩcki. Postulat empiryczności terminów przyrodniczych (The postulate of the empiricalness of scientific terms). Fragmenty filozoficzne, seria druga, Ksiȩga pamia̧tkowa ku uczczeniu czterdziestolecia pracy nauczycielskiej w Uniwersytecie Warszawskim profesora Tadeusza Kotarbińskiego, Państwowe Wydawnictwo Naukowe, Warsaw1959, pp. 219–248.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
-
- Article
- Export citation
Karl R. Popper. The logic of scientific discovery. Hutchinson & Co., Ltd., London1959, 480 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 471
-
- Article
- Export citation
W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 623-624
-
- Article
- Export citation
Karl Popper. The logic of scientific discovery. Harper torchbooks. Harper & Row, New York and Evanston1968, 480 pp. - Karl Popper. Addendum, 1964. Therein, p. 358. - Karl Popper. Addendum, 1967. Therein, p. 362. - Karl Popper. Addendum, 1967. Therein, p. 386. - Karl Popper. Addendum, 1968. Therein, p. 441.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 471-472
-
- Article
- Export citation
W. W. Tait. Intensional interpretations of functionals of finite type I. The journal of symbolic logic, vol. 32 (1967), pp. 198–212.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-625
-
- Article
- Export citation
A. S. Troelstra. Notions of realizability for intuitionistic arithmetic and intuitionistic arithmetic in all finite types. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, North-Holland Publishing Company, Amsterdam and London 1971, pp. 369–405.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Rudolf Carnap. Logische Syntax der Sprache. Second edition of 35212. Springer-Verlag, Vienna and New York1968, XI + 274 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
-
- Article
- Export citation
Jerzy SŁupecki. Logic in Poland. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 190–201. - Maria Kokoszyńska. Kazimierz Ajdukiewicz. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 202–208. - Ettore Casari. La logique en Italie. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 224–227.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
-
- Article
- Export citation
John Myhill. The formalization of intuitionism. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I,Logique et fondements des mathimatiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence 1968, pp. 324–341.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 625
-
- Article
- Export citation
Solomon Feferman. Ordinals and functionals in proof theory. Actes du Congrès International des Mathématiciens 1970, Gauthier-Villars, Paris 1971, Vol. 1, pp. 229–233.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 625-626
-
- Article
- Export citation
Shôji Maehara. Logic in Japan. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 228–231.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
-
- Article
- Export citation
A. Heyting. Intuitionism in mathematics. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Raymond Klibansky, La Nuova Italia Editrice, Florence1968, pp. 316–323.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 472
-
- Article
- Export citation
William E. Ritter. Notation systems and an effective fixed point property. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 390–395.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
N. V. Belyakin. A variation of Richter's construction of ordinals. English translation of X L 517. Algebra and logic (New York), vol. 8 (1969), pp. 86–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 626
-
- Article
- Export citation
W. V. Quine. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 216–217. - Alfred North Whitehead and Bertrand Russell. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 66–71. Incomplete symbols: Descriptions. Reprinted from 1947, pp. 217–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 472-473
-
- Article
- Export citation
Alessandro Padoa. Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque. Bibliothèque du Congrès International de Philosophie, Volume III, Logique et histoire des sciences, Librairie Armand Colin, Paris1901, pp. 309–365.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 473-527
-
- Article
- Export citation
H. B. Enderton. The unique existential quantifier. Archiv für mathematische Logik und Grundlagenforschung, vol. 13 (1970), pp. 52–54.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
Steven Orey. Relative interpretations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 146–153. - S. Feferman, G. Kreisel, and S. Orey. I-consistency and faithful interpretations. Archiv für mathematische Logik und Grundlagenforschung, vol. 6 (for 1960, pub. 1962), pp. 52–63.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 627
-
- Article
- Export citation
Beppo Levi. Intorno alia teoria degli aggregati. Reale Istituto Lombardo di Scienze e Lettere, Rendiconti, ser. 2 vol. 35 (1902), pp. 863–868.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 527
-
- Article
- Export citation