Research Article
On the cardinality of ultraproduct of finite sets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-84
-
- Article
- Export citation
Reviews
Hans Hermes. Eine Termlogik mit Auswahloperator. Lecture notes in mathematics no. 6, Springer-Verlag, Berlin, Heidelberg, and New York, 1965, iv + 42 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 440
-
- Article
- Export citation
Research Article
Nonstandard theories of quantification and identity
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-294
-
- Article
- Export citation
Reviews
J. F. Staal. The theory of definition in Indian logic. Journal of the American Oriental Society, vol. 81 (1961), pp. 122–126.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 573-574
-
- Article
- Export citation
Ladislav Rieger. Zu den Strukturen der klassischen Prädikatenlogik. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 121–138. - Ladislav Rieger. Algebraic methods of mathematical logic. Translated from the Czech by Michal Basch. Academia Publishing House of the Czechoslovak Academy of Sciences, Prague, and Academic Press, New York and London, 1967, 210 pp. - M. Katětov. Preface. Therein, pp. 5–6.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 440-441
-
- Article
- Export citation
Reviews - Paul Edwards. Introduction. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. ix–xiv. - D. W. Hamlyn. Analytic and synthetic statements. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 105–109. - D. W. Hamlyn. A priori and a posteriori. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 140–144. - Newton Garver. Black, Max. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 318–319. - P. L. Heath. Boole, George. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 346–347. - Robert Brown. Broad, Charlie Dunbar. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 396–399. - Carl G. Hempel. Confirmation: qualitative aspects. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 185–187. - D. W. Hamlyn. Contingent and necessary statements. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 198–205. - Robert Blanché. Couturat, Louis. Translated by Albert E. Blumberg. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 248–249. - Keith Gunderson. Cybernetics. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 280–284.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 295-297
-
- Article
- Export citation
Research Article
Bases and α-dimensions of countable vector spaces with recursive operations 1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 85-96
-
- Article
- Export citation
Reviews
J. F. Staal. Contraposition in Indian logic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, California, 1962, pp. 634–649.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 574-575
-
- Article
- Export citation
J. F. Staal. Negation and the law of contradiction in Indian thought: a comparative study. Bulletin of the School of Oriental and African Studies, University of London, vol. 25 part 1 (1962), pp. 52–71.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 575
-
- Article
- Export citation
Tadeusz Kotarbiński. Introduction. Notes on the development of formal logic in Poland in the years 1900–39. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 1–14. - Jan Łukasiewicz. On the notion of possibility. English translation of the first half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 15–16. - Jan Łukasiewicz. On three-valued logic. English translation of the second half of 1864 by H. Hiż. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 16–18. - Jan Łukasiewicz. On determinism. English translation of XXXIII 130 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 19–39. - Jan Łukasiewicz. Philosophical remarks on many-valued systems of propositional logic. English translation of 1868 by H. Weber. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 40–65. - Jan Łukasiewicz. On the history of the logic of propositions. English translation of 18613 by S. McCall. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 66–87. - Jan Łukasiewicz. The equivalential calculus. English translation of VI115 by P. Woodruff. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 88–115. - Stanisław Leśniewski. Introductory remarks to the continuation of my article: ‘Grundzüge eines neuen Systems der Grundlagen der Mathematik.’ English translation of V 83 by W. Teichmann and S. McCall. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 116–169. - Stanisław Leśniewski. On definitions in the so-called theory of deduction. English translation of 20213 by E. C. Luschei. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 170–187. - Bolesław Sobociński. Successive simplifications of the axiom-system of Leiniewski's ontology. English translation of 4432 by Z. Jordan. Polish logic 1920–1939, edited by Storrs McCall. The Clarendon Press, Oxford1967, pp. 188–200.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 442-446
-
- Article
- Export citation
Research Article
An algebraic characterization of indistinguishable cardinals
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 97-104
-
- Article
- Export citation
Reviews
Charles Parsons. Brouwer, Luitzen Egbertus Jan. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 1, pp. 399–401.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
Andrzej Mostowski. On various degrees of constructivism. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 178–194.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 575-576
-
- Article
- Export citation
Research Article
Tense logic for discrete future time
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 105-118
-
- Article
- Export citation
Reviews
Norman M. Martin. Carnap, Rudolf. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 25–33.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
Rosaria Egidi. Ontologia e conoscenza matematica. Un saggio su Gottlob Frege. Publicazioni dell'Istituto di Filosofia dell'Università di Roma, no. X. G. C. Sansoni Editore, Florence1963, 274 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 446-447
-
- Article
- Export citation
John L. Pollock. Mathematical proof. American philosophical quarterly, vol. 4 (1967), pp. 238–244.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 576
-
- Article
- Export citation
H. Hiż. Chwistek, Leon. The encyclopedia of philosophy, edited by Paul Edwards, The Macmillan Company & The Free Press, New York, and Collier-Macmillan Limited, London, 1967, Vol. 2, pp. 112–113.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 297
-
- Article
- Export citation
David Wiggins. Identity and spatio-temporal continuity. Basil Blackwell, Oxford1967, viii + 83 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 447-448
-
- Article
- Export citation
Research Article
A problem in the theory of constructive order types 1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 119-121
-
- Article
- Export citation