Herbrand Analyzing Functions

Journal of Symbolic Logic 32 (4):521-521 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270186

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,682

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

Review: Burton Dreben, Stal Aanderaa, Herbrand Analyzing Functions. [REVIEW]Peter Andrews - 1967 - Journal of Symbolic Logic 32 (4):521-521.
An approximate Herbrand’s theorem and definable functions in metric structures.Isaac Goldbring - 2012 - Mathematical Logic Quarterly 58 (3):208-216.
Remarks on Herbrand normal forms and Herbrand realizations.Ulrich Kohlenbach - 1992 - Archive for Mathematical Logic 31 (5):305-317.
Herbrand consistency of some finite fragments of bounded arithmetical theories.Saeed Salehi - 2013 - Archive for Mathematical Logic 52 (3-4):317-333.
La théorie des nombres chez Herbrand et Lautman.Yvon Gauthier - 2010 - Philosophiques 37 (1):149-161.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
A supplement to herbrand.Burton Dreben & John Denton - 1966 - Journal of Symbolic Logic 31 (3):393-398.
Solváble Suranyi Subclasses: An Introduction to the Herbrand Theory.Burton S. Dreben - 1965 - Journal of Symbolic Logic 30 (3):390-391.
Review: Burton Dreben, Peter Andrews, Stal Aanderaa, False Lemmas in Herbrand. [REVIEW]Paul Bernays - 1966 - Journal of Symbolic Logic 31 (4):657-659.
On the practical value of Herbrand disjunctions.Uwe Petermann - 2000 - Logic and Logical Philosophy 8:153.
On the representation of herbrand functions in algebraically closed fields.A. H. Lightstone & A. Robinson - 1957 - Journal of Symbolic Logic 22 (2):187-204.
Herbrand’s fundamental theorem in the eyes of Jean Van heijenoort.Claus-Peter Wirth - 2012 - Logica Universalis 6 (3-4):485-520.
Herbrand's Theorem for a Modal Logic.Melvin Fitting - unknown
On a Theory for AC0 and the Strength of the Induction Scheme.Satoru Kuroda - 1998 - Mathematical Logic Quarterly 44 (3):417-426.
Proceedings of the Herbrand Symposium: Held in Marseilles, France, July 1981.Jacques Herbrand - 1982 - North Holland.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,554,030)

6 months
3 (#1,026,267)

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