Your search returned 3 results.

1.
Investigations in proof theory: The properties of true propositions / Jacques Herbrand

by Herbrand, Jacques.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 525-582Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
2.
On the consistency of arithmetic / Jacques Herbrand

by Herbrand, Jacques.

Source: From Frege to Gödel : A Source Book in Mathematical Logic, 1879-1931 / Jean van Heijenoort , págs. 592-618Material type: Article Article; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
3.
Ecrits logiques / Jacques Herbrand; Jean van Heijenoort, Catherine Chevalley, A. Lautmann

by Herbrand, Jacques | Chevalley, Catherine | Heijenoort, Jean Van | Lautmann, A.

Series: B.P.C ; Material type: Text Text; Format: print ; Literary form: Not fiction Language: French Publication details: Paris : P.U.F. , 1968Availability: Items available for loan: Call number: 25/6 (1).

Bibliotecas Dominicos Provincia Hispania, 2016

Con tecnología Koha