Beth E. W.. On Padoa's method in the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 330–339; also Indagationes mathematicae, vol. 15 , pp. 330–339 [Book Review]

Journal of Symbolic Logic 21 (2):194-195 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268764

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,458

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

Kreisel G.. On a problem of Henkin's. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 56 , pp. 405–406; also Indagationes mathematicae, vol. 15 , pp. 405–406. [REVIEW]Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):219-220.
Tarski Alfred. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 , pp. 572–588, and vol. 58 , pp. 56–64; also Indagationes mathematicae, vol. 16 , pp. 572–588, and vol. 17 , pp. 56–64. [REVIEW]E. J. Cogan - 1956 - Journal of Symbolic Logic 21 (4):405-406.
Robinson Abraham. A result on consistency and its application to the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, Series A, vol. 59 , pp. 47–58; also Indagationes mathematicae, vol. 18 , pp. 47–58. [REVIEW]William Craig - 1960 - Journal of Symbolic Logic 25 (2):174-174.
Łukasiewicz Jan. On the intuitionistic theory of deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 55 , pp. 202–212; also Indagationes mathematicae, vol. 14 , pp. 202–212. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (3):216-216.
E. W. Beth. Remarks on natural deduction. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Vol. 58 , pp. 322–325; also Indagationes mathematicae, vol. 17 pp. 322–325. - E. W. Beth. Semantic entailment and formal derivability. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. letterkunde, n.s. vol. 18 no. 13 , pp. 309–342. - K. Jaakko J. Hintikka. A new approach to sentential logic. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 2 , 14 pp. - K. Jaakko J. Hintikka. Form and content in quantification theory. Two papers on symbolic logic, Acta philosophica Fennica no. 8, Helsinki1955, pp. 7–55. - K. Jaakko J. Hintikka. Notes on quantification theory. Societas Scientiarum Fennica, Commentationes physico-mathematicae, vol. 17 no. 12 , 13 pp. [REVIEW]William Craig - 1957 - Journal of Symbolic Logic 22 (4):360-363.
Boone William W.. Certain simple, unsolvable problems of group theory V–VI. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 60 , pp. 22–27, 227–232; also Indagationes mathematicae, vol. 19 , pp. 22–27, 227–232. [REVIEW]Michael O. Rabin - 1957 - Journal of Symbolic Logic 22 (4):373-374.
Dwinger Ph.. Notes on Post algebras. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 69 , pp. 462–478; also Indagationes mathematicae, vol. 28 , pp. 462–478. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 33 (4):626-626.
McKay C. G.. On 'finite logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 , pp. 363–365; also Indagationes mathematicae, vol. 29 , pp. 363–365. [REVIEW]T. Umezawa - 1971 - Journal of Symbolic Logic 36 (2):330-330.
Jerome Keisler H.. Ultraproducts and saturated models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 67 , pp. 178–186; also Indagationes mathematicae, vol. 26 , pp. 178–186. [REVIEW]James R. Geiser - 1970 - Journal of Symbolic Logic 35 (4):584-585.

Analytics

Added to PP
2013-11-22

Downloads
206 (#122,381)

6 months
17 (#175,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic logic and implicit definability.Larisa Maksimova - 2000 - Annals of Pure and Applied Logic 105 (1-3):83-102.
Algorithmic uses of the Feferman–Vaught Theorem.J. A. Makowsky - 2004 - Annals of Pure and Applied Logic 126 (1-3):159-213.
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.

View all 11 citations / Add more citations

References found in this work

No references found.

Add more references