Biblioteca San Esteban Salamanca catalog › Results of search for 'an:"348444"'

Your search returned 3 results.

	1.	No cover image available 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; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
	2.	No cover image available 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; Format: print ; Literary form: Not fiction Language: English Availability: Items available for loan: Call number: 25/3 (1).
	3.	No cover image available 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; Format: print ; Literary form: Not fiction Language: French Publication details: Paris : P.U.F. , 1968Availability: Items available for loan: Call number: 25/6 (1).