Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic [Book Review]

Journal of Symbolic Logic 34 (1):112-112 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

G. Kreisel and J. L. Krivine. Elements of mathematical logic. . North-Holland Publishing Company, Amsterdam1967, xi + 222 pp. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112.
Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Michael Makkai - 1991 - Journal of Symbolic Logic 56 (3):1096-1097.
Review: C. C. Chang, H. J. Keisler, Model Theory. [REVIEW]Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.
Elements of mathemathical logic (Model theory), de G. Kreisel y JL Krivine.José Sanmartín Esplugues - 1971 - Teorema: International Journal of Philosophy 1 (1):151-152.
Review: C.C. Chang, Algebraization of Infinitely Many-Valued Logic; C. C. Chang, Algebraic Analysis of Many Valued Logics; C. C. Chang, A New Proof of the Completeness of the Lukasiewicz Axioms. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Review: J. N. Crossley, C. J. Ash, C. J. Brickhill, J. C. Stillwell, N. H. Williams, What is Mathematical Logic? [REVIEW]William E. Gould - 1975 - Journal of Symbolic Logic 40 (2):241-241.
C. C. Chang. Algebraization of infinitely many-valued logic. 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. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Review: G. Kreisel, R. O. Gandy, C. E. M. Yates, Some Reasons for Generalizing Recursion Theory. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.
Review: C. C. Chang, Logic with Positive and Negative Truth Values. [REVIEW]Bruno Scarpellini - 1971 - Journal of Symbolic Logic 36 (2):331-332.
L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 43–50.Bruno Scarpellini - 1971 - Journal of Symbolic Logic 36 (2):332.

Analytics

Added to PP
2013-11-22

Downloads
2 (#1,819,493)

6 months
11 (#272,000)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references