|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3206472 |
| 003 |
MWH |
| 005 |
20190701192146.0 |
| 007 |
cr nn 008mamaa |
| 008 |
121227s1971 ne | s |||| 0|eng d |
| 020 |
|
|
|a 9789401030724
|
| 024 |
7 |
|
|a 10.1007/978-94-010-3072-4
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-94-010-3072-4
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a HPL
|2 bicssc
|
| 072 |
|
7 |
|a PHI011000
|2 bisacsh
|
| 072 |
|
7 |
|a QDTL
|2 thema
|
| 100 |
1 |
|
|a Herbrand, J.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 245 |
1 |
0 |
|a Logical Writings
|h [electronic resource] /
|c by J. Herbrand ; edited by Warren D. Goldfarb.
|
| 250 |
|
|
|a 1st ed. 1971.
|
| 264 |
|
1 |
|a Dordrecht :
|b Springer Netherlands :
|b Imprint: Springer,
|c 1971.
|
| 300 |
|
|
|a IX, 312 p.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a 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.
|
| 520 |
|
|
|a 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 English; the exceptions are Chap. 5 of Herbrand's thesis and Herbrand 1931c, both of which appeared in van Heijenoort 1967, the former trans lated by Burton Dreben and van Heijenoort, and the latter by van Heijenoort. These two translations have been reprinted here, thanks to the permission ofthe Harvard University Press, with only minor changes. The remainder of the present translations are my own; I am grateful to van Heijenoort for providing an English draft of 1931, which forms the basis of the translation appearing here. In these translations, the bibliographical references have been stan dardized (see p. 299 below) and the notation has been changed so that it is fairly uniform throughout (any differences from Herbrand's original notation are mentioned in footnotes). Herbrand's technical terminology is not always translated literally; the principal instances of this are 'reduite', translated 'expansion' (except in 1930, Chap. 3, § 3, where it is translated 'relativization'), 'champ', translated 'domain', and 'symbole de variable apparente', translated 'quantifier'. In other cases of this sort, the French terms appear in double brackets immediately following the English renderings.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Logic.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Goldfarb, Warren D.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-94-010-3072-4
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b3206472x
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g ne
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-SHU
|
| 912 |
|
|
|a ZDB-2-BAE
|
| 950 |
|
|
|a Humanities, Social Sciences and Law (Springer-11648)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21196370
|z 02-26-20
|
| 999 |
f |
f |
|i 19988160-047d-500d-8fd2-d02c9c03e788
|s 69a34856-2330-5aa8-9283-e4edb411b641
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|