Contents
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 134-142
-
- Article
- Export citation
Reviews
Leon Henkin and Alfred Tarski. Cylindrical algebras. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 332–340.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 417
-
- Article
- Export citation
Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 (for 1962, pub. 1963), pp. 391–399.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 282
-
- Article
- Export citation
Stanisław Kamiński. Reguly sylogizmów z uwzględnieniem schematów o zaprzeczonym podmiocie (Rules for syllogisms with the consideration of schemata with negated subject terms). Polish, with Russian and English summaries. Studia logica, vol. 16 (1965), pp. 45–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 544
-
- Article
- Export citation
Daniel Ponasse. Problèmes d′universalité s′introduisant dans l′algébrisation de la logique mathématique. Nagoya mathematical journal, vol. 20 (1962), pp. 29–73, and Vol. 21 (1962), pp. 61–110.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 417-418
-
- Article
- Export citation
Chr. Klixbüll Jørgensen. A classification of categorical propositions. Logique et analyse, n.s. vol. 7 (1964), pp. 233–256.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
-
- Article
- Export citation
Other
Notice of a new periodical: The Journal of Value Inquiry
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
Reviews
G. Kreisel. Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae. The journal of symbolic logic, vol. 23 no. 3 (for 1958, pub. 1959), pp. 317–330.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 282-283
-
- Article
- Export citation
Daniel Ponasse. Une démonstration du théorème de complétude de Gödel. Publications du Départment de Mathématiques (Lyon), vol. 3 No. 1 (1966), pp. 2–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 418
-
- Article
- Export citation
G. Kreisel. A remark on free choice sequences and the topological completeness proofs. The journal of symbolic logic, vol. 23 no. 4 (for 1958, pub. 1959), pp. 369–388.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 283
-
- Article
- Export citation
Other
Notice of a meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 143
-
- Article
- Export citation
Reviews
Herbert Hochberg. On pegasizing. Philosophy and phenomenological research, vol. 17 no. 4 (1957), pp. 551–554. - Vernon Dolphin. Mr. Hochberg, Mr. Quine and the theory of description. Philosophy and phenomenological research, vol. 19 no. 2 (1958), pp. 246–247.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 545
-
- Article
- Export citation
Nicholas Rescher. Choice without preference. A study of the history and of the logic of the problem of “Buridan's ass.”Kant-Studien, vol. 51 (1959–60), pp. 142–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-546
-
- Article
- Export citation
Karl Schröter. Theorie des logischen Schlieβens, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 (1955), pp. 37–86, and vol. 4 (1958), pp. 10–65.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 418
-
- Article
- Export citation
Shôji Maehara, Toshio Nishimura, und Setsuya Seki. Non-constructive proofs of a metamathematical theorem concerning the consistency of analysis and its extension. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 5 (1960), S. 269–288.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
-
- Article
- Export citation
Front matter
JSL volume 32 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
-
- Article
-
- You have access
- Export citation
Reviews
Nicholas Rescher. Studies in the history of Arabic logic. University of Pittsburgh Press, Pittsburgh1963, 108 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 546-547
-
- Article
- Export citation
Kurt Schütte. Syntactical and semantical properties of simple type theory. The journal of symbolic logic, vol. 25 no. 4 (for 1960, pub. 1962), pp. 305–326.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 418-419
-
- Article
- Export citation
Kurt Schütte. Logische Abgrenzungen des Transfiniten. Logik und Logikkalkül, edited by Max Käsbauer and Franz von Kutschera, Verlag Karl Alber, Freiburg and Munich 1962, pp. 105–114.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Henry Hiż. Questions and answers. The journal of philosophy, vol. 59 (1962), pp. 253–265.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 547-548
-
- Article
- Export citation