An Herebrand [i.e. Herbrand] theorem for higher order logic

Oslo,: Universitetet i Oslo, Matematisk institutt (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.35.J46

Other Versions

No versions found

Links

PhilArchive



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

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

The Epsilon Calculus and Herbrand Complexity.Georg Moser & Richard Zach - 2006 - Studia Logica 82 (1):133-155.
On Skolem and Herbrand theorems for intuitionistic logic.Herman Ruge Jervell - 1972 - Oslo,: Universitetet i Oslo, Matematisk institutt.
A game-based formal system L.A. Adamson - 1979 - Studia Logica 38:49.
The Clausal Theory of Types.D. A. Wolfram - 1993 - Cambridge University Press.
Herbrand complexity and the epsilon calculus with equality.Kenji Miyamoto & Georg Moser - 2023 - Archive for Mathematical Logic 63 (1):89-118.
A Game-Based Formal System for Ł ${}_{\infty}$.Alan Adamson & Robin Giles - 1979 - Studia Logica 38 (1):49 - 73.
On Some Applied First-Order Theories which Can Be Represented by Definitions.Vladimir Shalack - 2015 - Bulletin of the Section of Logic 44 (1/2):19-24.
A one axiom set theory based on higher order predicate calculus.M. W. Bunder - 1983 - Archive for Mathematical Logic 23 (1):99-107.
Herbrand E a silogística ampliada.Frank Thomas Sautter - 2015 - Philósophos - Revista de Filosofia 20 (1):125-144.

Analytics

Added to PP
2009-01-28

Downloads
3 (#1,851,971)

6 months
3 (#1,473,720)

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