E. W. BETH, Formal methods. D. Reidel, Dordrecht 1962

Philosophia Reformata 29 (1-2):103-104 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1163/22116117-90001086

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

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

Beth Evert W.. Formal methods. An introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Synthese library. D. Reidel Publishing Company, Dordrecht, Holland, and Gordon and Breach, New York, 1962, XIV + 170 pp. [REVIEW]Leon Henkin - 1965 - Journal of Symbolic Logic 30 (2):235-236.
A Scientific Ontology. [REVIEW]Peter P. Kirschenmann - 1981 - Grazer Philosophische Studien 14 (1):183-197.
Fitting Melvin. Proof methods for modal and intuitionistic logics. Synthese library, vol. 169. D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1983, viii + 555 pp. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Verloren van Themaat W. A.. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Erster Band. D. Reidel Publishing Company, Dordrecht 1963, X + 131 pp.Verloren van Themaat W. A.. Räumliche Vorstellung und mathematisches Erkenntnisvermögen. Zweiter Band. D. Reidel Publishing Company, Dordrecht, VIII + 59 pp. [REVIEW]Hans Freudenthal - 1970 - Journal of Symbolic Logic 35 (1):131-132.
Hempel Carl G.. Inductive inconsistencies. Aspects of scientific explanation and other essays in the philosophy of science, by Hempel Carl G., The Free Press, New York, and Collier-Macmillan Ltd., London, 1965, pp. 53–79. , pp. 439–469; also from Logic and language, Studies dedicated to Professor Rudolf Carnap on the occasion of his seventieth birthday, D. Reidel Publishing Company, Dordrecht, Holland, 1962, pp. 128–158.). [REVIEW]Asa Kasher - 1973 - Journal of Symbolic Logic 38 (3):531-532.
Review: Gisbert Hasenjaeger, E. C. M. Mays, Introduction to the Basic Concepts and Problems of Modern Logic. [REVIEW]Gert H. Muller - 1975 - Journal of Symbolic Logic 40 (4):627-628.
Agassi, Joseph. 1985. Technology. Dordrecht, Netherlands: Reidel. Aronowitz, Stanley. 1984. Science as Power. Minneapolis: University of Minnesota Press. Bayertz, Kurt (ed.). 1994. The Concept of Moral Consensus. Dordrecht: Kluwer. [REVIEW]Chicago Press - 1997 - In Kristin Shrader-Frechette & Laura Westra (eds.), Technology and Values. Rowman & Littlefield. pp. 33.
Formal methods.Evert Willem Beth - 1962 - New York,: Gordon & Breach.
National Traditions in Science Everett Mendelsohn and Yehuda Elkana , Sciences and cultures. Dordrecht, Boston and London: Reidel, 1981. Pp. xvii + 270. ISBN 90-277-1234-4 /1235–2 . Norbert Elias, Herminio Martins and Richard Whitley , Scientific Establishments and hierarchies. Reidel, 1982. Pp. xi + 368. ISBN 90-277-1322-7 /1323–5 . Dfl. 95.00, $42.50 ; Dfl. 50.00, $19.95. [REVIEW]Andrew Pickering - 1984 - British Journal for the History of Science 17 (1):100-101.
Space, Time and Causality Edited by Richard Swinburne Dordrecht: Reidel, 1983, xvi + 211 pp., Dfl.90. [REVIEW]D. M. Armstrong - 1984 - Philosophy 59 (230):539-.
Law, Morality and Rights Edited by M. A. Stewart Dordrecht: D. Reidel, 1983, xi+452pp., Dfl. 160. [REVIEW]Jerome E. Bickenbach - 1985 - Philosophy 60 (233):401-.
Human Action and Its Explanation R. Tuomela Dordrecht, Holland and Boston, U.S.A.: D. Reidel. U.S. $39.50.Fred Wilson - 1982 - Dialogue 21 (3):571-578.
On the extension of Beth's semantics of physical theories.Bas C. van Fraassen - 1970 - Philosophy of Science 37 (3):325-339.
Terence Penelhum. God and Skepticism. Pp. xiii + 186. (Dordrecht: Reidel, 1983.) $34.95. [REVIEW]Peter Byrne - 1985 - Religious Studies 21 (3):419-421.
Reason and Action. Bruce Aune. Dordrecht-Holland: D. Reidel. 1977. Pp. 206.John A. Bailey - 1979 - Dialogue 18 (4):590-594.

Analytics

Added to PP
2016-06-30

Downloads
24 (#654,246)

6 months
1 (#1,464,097)

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