Review of E. W Beth, Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic
Philosophy of Science 33 (1/2):84-85 (1966)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesEvert Willem Beth (1962). Formal Methods. New York, Gordon and Breach.
Uwe Schöning (1989). Logic for Computer Scientists. Birkhäuser.
Evert Willem Beth & Jean-Louis Destouches (eds.) (1968). Logic and Foundations of Science. Dordrecht, D. Reidel.
Arend Heyting (1966). In Memoriam: Evert Willem Beth (1909--1964). Notre Dame Journal of Formal Logic 7 (4):289-295.
Michael J. Beeson (1975). The Nonderivability in Intuitionistic Formal Systems of Theorems on the Continuity of Effective Operations. Journal of Symbolic Logic 40 (3):321-346.
Michael Beeson (1976). The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals. Journal of Symbolic Logic 41 (1):18-24.
Evert Willem Beth (1966). Mathematical Epistemology and Psychology. New York, Gordon and Breach.
D. S. Clarke (1973). Deductive Logic. Carbondale,Southern Illinois University Press.
Evert Willem Beth (1970). Aspects of Modern Logic. Dordrecht,Reidel.
Paul C. Rosenbloom (1950/2005). The Elements of Mathematical Logic. New York]Dover Publications.
Merrie Bergmann (2003). The Logic Book. Mcgraw-Hill.
Morris Raphael Cohen (1962). An Introduction to Logic. New York, Harcourt, Brace & World.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-24Total downloads1 ( #274,921 of 549,122 )Recent downloads (6 months)1 ( #63,361 of 549,122 )How can I increase my downloads? |
My notes
Discussion
