Contents
Reviews
E. J. Lemmon. Quantifiers and modal operators. Proceedings of the Aristotelian Society, vol. 58 (1957–1958), pp. 245–268.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-276
-
- Article
- Export citation
Saul A. Kripke. A completeness theorem in modal logic. The journal of symbolic logic, vol. 24 no. 1 (1959), pp. 1–14.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 276-277
-
- Article
- Export citation
Saul A. Kripke. The undecidability of monadic modal quantification theory. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 113–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 277-278
-
- Article
- Export citation
Sören Halldén. On the logic of ‘better.’ Library of Theoria, no. 2. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1957, 112 pp. - Lennart Åqvist. Deontic logic based on a logic of ‘better.’Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 285–290. - Mark Fisher. A three-valued calculus for deontic logic. Theoria (Lund), vol. 27 (1961), pp. 107–118. - Lennart Åqvist. Postulate sets and decision procedures for some systems of deontic logic. Theoria (Lund), vol. 29 (1963), pp. 154–175.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 278-281
-
- Article
- Export citation
Ralph Monroe Eaton. Symbolism and truth. An introduction to the theory of knowledge. An unaltered reprint of 2902. Dover Publications, Inc., New York1964, xiv + 330 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 281-283
-
- Article
- Export citation
Francesca Rivetti Barbò. L'antinomia del mentitore nel pensiero contemporaneo, da Peirce a Tarski. Studi - testi - bibliografia. Pubblicazioni dell'Università Cattolica del Sacro Cuore, serie terza, scienze filosofiche, 5. Vita e Pensiero, Milano1961, XLIII + 744 pp. - Charles Sanders Peirce. Ristampa di un brano da 283, con versione italiana a fronte. Ivi, pp. 334–339. - Charles Sanders Peirce. Ristampa di un breve commento da Collected papers 2.352, con versione italiana a fronte. Ivi, pp. 338, 339. - Charles Sanders Peirce. Ristampa di un brano di The regenerated logic (2812), con versione italiana a fronte. Ivi, pp. 338–341. - Charles Sanders Peirce. Insolubilia. Ristampa di 2813, con versione italiana a fronte. Ivi, pp. 340–343. - Ernst Schröder. Ristampa di un brano di 4210, con versione italiana a fronte. Ivi, pp. 342–345. - Bertrand Russell. Les paradoxes de la logique. Ristampa di brani di 11114, con versione italiana a fronte. Ivi, pp. 346–353. - Bertrand Russell. Mathematical logic as based on the theory of types. Ristampa di brani di 11116, con versione italiana a fronte. Ivi, pp. 352–363. - Alfred North Whitehead e Bertrand Russell. Ristampa di brani del l'introduzione del 1941, con versione italiana a fronte. Ivi, pp. 362–371. - Bertrand Russell. The philosophy of logical atomism. Ristampa di un brano di 11125, con versione italiana a fronte. Ivi, pp. 370–375. - Bertrand Russell. Logical atomism. Ristampa di un brano di XXV 333(2), conversione italiana a fronte. Ivi, pp. 376, 377. - Ludwig Wittgenstein. Ristampa di 3.33–3.333 e 4.442 da 2812, testo tedesco, con versione italiana a fronte dal G. C. M. Colombo. Ivi, pp. 376–379. - Frank Plumpton Ramsey. The foundations of mathematics. Ristampa di brani di 2955, con versione italiana a fronte. Ivi, pp. 378–385. - Frank Plumpton Ramsey. Mathematical logic. Ristampa di un brano di 2958, con versione italiana a fronte. Ivi, pp. 386–389. - Alfred Tarski. Der Wahrheitsbegriff in den formalisierten Sprachen. Ristampa di 28516. Ivi, pp. 392–674 (pagine pari), 674–677. - Alfred Tarski. Il concetto di verità nei linguaggi formalizzati. Versione italiana del medesimo. Ivi, pp. 393–675 (pagine dispari). - A paradossi e antinomie l'autrice, docente nell'universita cattolicadel Sacro cuore di Milano, ha gia dedicato, tra il 1957 ed il 1961, almeno cinque articoli. Segue ora questo libro.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
-
- Article
- Export citation
Alfred Tarski. Il concetto di verità nei linguaggi formalizzati. A cura di Francesca Rivetti Barbò. Vita e Pensiero, Milano1963, pp. VIII, 391–677, 1*-43*.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Witold A. Pogorzelski and Jerzy Slupecki. O dowodzie matematycznym (On mathematical proof). Państwowe Zaklady Wydawnictw Szkolnych, Warsaw1962, 128 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Jan Łukasiewicz. Elementy logiki matematycznej (Elements of mathematical logic). Second edition of 1866. Państwowe Wydawnictwo Naukowe, Warsaw1958, 99 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Jan Łukasiewicz. Aristotélévskaé sillogistika s točki zréniá sovréménnoj formal′noj logiki (Aristotle's syllogistic from the standpoint of modern formal logic). Izdatél′stvo Inostrannoj Litératury, Moscow1959, 311 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
-
- Article
- Export citation
Marcel Boll and Jacques Reinhart. Histoire de la logique. Que sais-je, no. 225, 5th edn. Presses Universitaires de France, Paris1961, 127 pp. (1st edn. 1946.)
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
-
- Article
- Export citation
Rupert Schreiber. Logik des Rechts. Springer-Verlag, Berlin-Göttingen-Heidelberg1962, VIII + 100 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
-
- Article
- Export citation
William Tuthill Parry. Comments on a variant form of natural deduction. The journal of symbolic logic, vol. 30 (1965), pp. 119–122.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
-
- Article
- Export citation
Gerd Harbeck. Einführung in die formale Logik. Friedr. Vieweg & Sohn, Braunschweig1963, VI + 114 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
Rudolf Carnap. Introduction to symbolic logic and its applications. Englische Übersetzung der XX 274 von William H. Meyer und John Wilkinson. Dover Publications, Inc., New York1958, xiv + 241 S.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 287-289
-
- Article
- Export citation
Announcement
Elections
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 289
-
- Article
-
- You have access
- Export citation
Abstract
Meeting of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
-
- Article
-
- You have access
- Export citation
Other
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
-
- Article
- Export citation
Front matter
JSL volume 31 issue 2 Cover and Front matter
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
-
- Article
-
- You have access
- Export citation