The finite controllability of the Maslov case

&
Journal of Symbolic Logic 39 (3):509-518 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272893

Links

PhilArchive



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

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

Warren D. Goldfarb. Preface. Logical writings, by Jacques Herbrand, edited by Warren D. Goldfarb, Harvard University Press, Cambridge, Massachusetts, and D. Reidel Publishing Company, Dordrecht-Holland, 1971, pp. V–VII. [REVIEW]Jean-Pierre Bénéjam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW]Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-521.
Review: Warren D. Goldfarb, Jacques Herbrand, Logical Writings. [REVIEW]Jean-Pierre Benejam - 1975 - Journal of Symbolic Logic 40 (1):94-95.
Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
Review: Burton Dreben, Warren D. Goldfarb, The Decision Problem. Solvable Classes of Quantificational Formulas. [REVIEW]Peter B. Andrews - 1982 - Journal of Symbolic Logic 47 (2):452-453.
Burton Dreben and Stål Aanderaa. Herbrand analyzing functions. Bulletin of the American Mathematical Society, vol. 70 , pp. 697–698. [REVIEW]Peter Andrews - 1968 - Journal of Symbolic Logic 32 (4):521.
Burton Dreben, Peter Andrews, and Stål Aanderaa. False lemmas in Herbrand. Bulletin of the American Mathematical Society, vol. 69 , pp. 699–706. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
Review: Zachary Gleit, Warren Goldfarb, Characters and Fixed Points in Provability Logic. [REVIEW]Franco Montagna - 1993 - Journal of Symbolic Logic 58 (2):715-715.
Warren Goldfarb. Deductive logic. Hackett Publishing Company, Indianapolis, 2003, xv + 292 pp. [REVIEW]Sherrilyn Roush - 2004 - Bulletin of Symbolic Logic 10 (4):570-573.
Review: Warren Goldfarb, William Aspray, Philip Kitcher, History and Philosophy of Modern Mathematics. [REVIEW]Michael Hallett - 1990 - Journal of Symbolic Logic 55 (3):1315-1319.

Analytics

Added to PP
2009-01-28

Downloads
213 (#98,137)

6 months
7 (#491,170)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Warren Goldfarb
Harvard University

Citations of this work

Add more citations

References found in this work

Solvable Cases of the Decision Problem.[author unknown] - 1956 - Philosophy 31 (116):92-93.

Add more references