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

Links

PhilArchive



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

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.
Troelstra A. S.. On intermediate propositional logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 68 , pp. 141–152; also Indagationes mathematicae, vol. 27 , pp. 141–152. [REVIEW]Toshio Umezawa - 1969 - Journal of Symbolic Logic 33 (4):607-607.
S. C. Kleene. A note on computable functionals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 59 , pp. 275–280; also Indagationes mathematicae, vol. 18 , pp. 275–280. [REVIEW]G. Kreisel - 1959 - Journal of Symbolic Logic 24 (1):51-52.

Analytics

Added to PP
2013-11-22

Downloads
6 (#1,485,580)

6 months
18 (#152,778)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.

Add more citations

References found in this work

No references found.

Add more references