Contents
Other
Related Citations
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 770-774
-
- Article
- Export citation
Reviews
V. I. Šéstakov. O dvojnoj arifmétičéskoj intérprétacii tréhznačnogo isčisléniá vyskazyvanij, ispol'zuémoj pri modélirovanii elogo isčisléniá posrédstvom réléjno-kommutatornyh shém. Priménénié logiki v nauké i téhnike, Izdatél'stvo Akadémii Nauk SSSR, Moscow1960, pp. 341–376. - V. I. Šestakov. A dual arithmetic interpretation of the 3-valued propositional calculus utilized in the simulation of this calculus by relay-contact networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 45–72.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
M. J. O'Carroll. Improper self-reference in classical logic and the prediction paradox. Logique et analyse, n.s. vol. 10 (1967), pp. 167–172. - M. J. O'Carroll. A three-valued, non-levelled logic consistent for all self-reference. Logique et analyse, n.s. vol. 10 (1967), pp. 173–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 422-423
-
- Article
- Export citation
John Venn. Symbolic logic. Second edition, revised and rewritten. Chelsea Publishing Company, Bronx, N.Y., 1971, xxxviii + 540 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-615
-
- Article
- Export citation
Timothy Smiley. Sense without denotation. Analysis (Oxford), n.s. no. 78 (1960), pp. 125–135.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 423
-
- Article
- Export citation
Benson Mates. Elementare Logik (Prädikatenlogik der ersten Stufe). German translation of XXXI 483 by Anneliese Oberschelp. Vandenhoeck & Ruprecht, Göttingen1969, 296 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 615-616
-
- Article
- Export citation
T. D. Majstrova. Priménénié mnogoznačnoj logiki v téorii réléjnyh shém. Priménénié logiki v nauké i téhnike, Izdaté'stvo Akadémii Nauk SSSR, Moscow1960, pp. 394–414. - T. D. Maǐstrova. Application of many-valued logics in the theory of relay networks. English translation of the preceding by Leo Ebner. American Mathematical Society translations, ser. 2 vol. 48 (1965), pp. 73–89.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Meeting Report
Meeting of the Association for Symbolic Logic, St. Louis 1972
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-782
-
- Article
- Export citation
Reviews
Rolf Schock. Contributions to syntax, semantics, and the philosophy of science. Notre Dame journal of formal logic, vol. 5 no. 4 (for 1964, pub. 1965), pp. 241–289.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 423
-
- Article
- Export citation
Gr. C. Moisil. Le algebre di Lukasiewicz. Analele Universitǎţii Bucureşti, seria Acta logica, vol. 6 (1963), pp. 97–135.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 187
-
- Article
- Export citation
Other
Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 783-824
-
- Article
- Export citation
Reviews
Angelo Margaris. First order mathematical logic. Blaisdell Publishing Company, Waltham, Massachusetts, Toronto, and London, 1967, x + 211 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 616
-
- Article
- Export citation
Rolf Schock. Logics without existence assumptions. Almqvist & Wiksell, Stockholm1968, 134 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 424
-
- Article
- Export citation
Gr. C. Moisil. Zastosowanie algebr Łukasiewicza do teorii ukladów przekaźnikowo-stykowych (Application des algèbres de Łukasiewicz à l'étude des schémas à contacts et relais). Wydawnictwo Polskiej Akademii Nauk, t. I, Varsovie1966, 122 p.; t. II, Varsovie 1967, 121 p.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
-
- Article
- Export citation
William Craig. Bases for first-order theories and subtheories. The journal of symbolic logic, vol. 25 no. 2 (for 1960, pub. 1961), pp. 97–142.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 616
-
- Article
- Export citation
Other
Notices of meetings of the Association for Symbolic Logic
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 825
-
- Article
- Export citation
Reviews
T. Traczyk. On Post algebras with uncountable chain of constants. Algebras of homomorphisms. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 15 (1967), pp. 673–680.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-189
-
- Article
- Export citation
Other
Logic colloquium and meeting of the association for symbolic logic, Bristol, England, 1973
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 825
-
- Article
- Export citation
Reviews
Hartley RogersJr., An example in mathematical logic. The American mathematical monthly, vol. 70 (1963), pp. 929–945.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 616-617
-
- Article
- Export citation
H. Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. Fundamenta mathematicae, vol. 62 no. 2 (1968), pp. 125–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 424-425
-
- Article
- Export citation