Logical Writings
In 1968 Jean van Heijenoort published an edition of Herbrand's collected logic papers (Herbrand 1968). The core of the present volume comprises translations of these papers and of the biographical notes also appearing in that edition. With two exceptions, this is their first appearance in Engli...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1971, 1971
|
| Edition: | 1st ed. 1971 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Biographical Note on Jacques Herbrand
- The Accident
- On Herbrand’s Thought
- I. On Proof Theory (1928)
- II. The Consistency of the Axioms of Arithmetic (1929)
- III. On Several Properties of True Propositions and their Applications (1929a)
- IV. On the Fundamental Problem of Mathematics (1929b)
- V. Investigations in Proof Theory (1930)
- VI. The Principles of Hilbert’s Logic (1930a)
- VII. On the Fundamental Problem of Mathematical Logic (1931)
- VIII. Unsigned Note on Herbrand’s Thesis, written by Herbrand himself (1931a)
- IX. Note for Jacques Hadamard (1931b)
- X. On the Consistency of Arithmetic (1931c)
- References