The Gödel-Herbrand theorems

Notre Dame Journal of Formal Logic 13 (1):131-134 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894636

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,423

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

Book Review: Kurt Gödel. Collected Works, Volumes IV and V. [REVIEW]Paolo Mancosu - 2004 - Notre Dame Journal of Formal Logic 45 (12):109-125.
An Herbrand theorem for prenex formulas of LJ.Kenneth A. Bowen - 1976 - Notre Dame Journal of Formal Logic 17 (2):263-266.
The Gödel theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2 (2):94-110.
A note on the Gödel theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2:228.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo - 1978 - Notre Dame Journal of Formal Logic 19:147.
Deduction theorems in significance logics.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):695-700.
Richard L. Poss. A note on a lemma of J. W. Addison. Notre Dame journal of formal logic, vol. 11 , pp. 337–339.H. B. Enderton - 1973 - Journal of Symbolic Logic 38 (2):334-334.
Remarks on strong nonstructure theorems.Tapani Hyttinen, Saharon Shelah & Heikki Tuuri - 1993 - Notre Dame Journal of Formal Logic 34 (2):157-168.

Analytics

Added to PP
2010-08-24

Downloads
14 (#1,286,464)

6 months
8 (#610,780)

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