Recherches sur la déduction logique = (Untersuchungen über das logische Schliessen) /

Guardado en:
Autor Principal: Gentzen, Gerhard.
Otros Autores: Feys, Robert, 1889- (Traductor, Comentador de texto escrito), Ladrière, Jean. (Traductor, Comentador de texto escrito)
Formato: Libro
Idioma:French
German
Publicado: Paris : Presses Universitaires de France, 1955.
Series:Philosophie de la matière
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
LEADER 00936nam a22002295a 4500
001 MAT.inmabb000863
008 031119s1955####fr#######b####001#0#fre#d
005 20160523152736.0
245 1 0 |a Recherches sur la déduction logique =  |b (Untersuchungen über das logische Schliessen) /  |c par Gerhard Gentzen ; traduction et commentaire par Robert Feys et Jean Ladrière. 
260 |a Paris :  |b Presses Universitaires de France,  |c 1955. 
300 |a xi, 170 p. ;  |c 19 cm. 
440 0 |a Philosophie de la matière 
500 |a Traducción del trabajo publicado en Math. Z. 39, 176-210, 405-431 (1934). 
504 |a Bibliografía: p. [165]-167. 
510 4 |a MR,  |c 17,3q 
100 1 |a Gentzen, Gerhard. 
240 1 0 |a Untersuchungen über das logische Schliessen.  |l Francés 
700 1 |a Feys, Robert,  |d 1889-  |4 trl  |4 cwt 
700 1 |a Ladrière, Jean.  |4 trl  |4 cwt 
084 |a 03Fxx  |2 msc2000 
041 1 |a fre  |h ger 
859 |h 03  |i G339  |p A-696  |b BIB. MATEMATICA