Recherches sur la déduction logique : Untersuchungen über das logische Schliessen

Recherches sur la déduction logique

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Gentzen Gerhard (Auteur), Feys Robert (Traducteur), Ladrière Jean (Traducteur)
Format : Livre
Langue : français
Titre complet : Recherches sur la déduction logique = Untersuchungen über das logische Schliessen / par Gerhard Gentzen; trad. et comment. par Robert Feys et Jean Ladrière
Publié : Paris : Presses universitaires de France , 1955
Description matérielle : 1 vol. (XI-171 p.)
Collection : Philosophie de la matière
Titre de l'ensemble : Philosophie de la matière vol. 5
Traduction de : Untersuchungen über das logische schliessen
Sujets :
Déduction (logique)
Logique mathématique
Théorie des nombres
LEADER 01972cam a2200577 4500
001 PPN010472738
005 20230601055300.0
035 |a 018155693  |9 sudoc 
035 |a 067426913  |9 sudoc 
035 |a 064712931  |9 sudoc 
035 |a DYNIX_BUNAN_67695 
035 |a ocm03200701 
035 |a sib1192792 
035 |a PRITEC.CCFISH.011690186001 
035 |a SU048703600001P 
035 |a AIC03740338 
035 |a PRITEC.BSG.021110127001 
035 |a (OCoLC)301246752 
100 |a 19980908d1955 k y0frey0103 ba 
101 1 |a fre  |c fre 
102 |a FR 
105 |a y a 000yy 
106 |a r 
200 1 |a Recherches sur la déduction logique  |b Texte imprimé  |d Untersuchungen über das logische Schliessen  |f par Gerhard Gentzen  |g trad. et comment. par Robert Feys et Jean Ladrière 
210 |a Paris  |c Presses universitaires de France  |d 1955 
215 |a 1 vol. (XI-171 p.)  |d 19 cm 
225 1 |a Philosophie de la matière  |v 5 
300 |a Philosophie de la matière 
320 |a Bibliogr. p. 165-167 
410 | |0 013713469  |t Philosophie de la matière 
454 | |t Untersuchungen über das logische schliessen 
606 |3 PPN028594460  |a Déduction (logique)  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN027270475  |a Théorie des nombres  |2 rameau 
680 |a BC135 
686 |a I.2.3  |2 acm 
700 1 |3 PPN066888581  |a Gentzen  |b Gerhard  |f 1909-1945  |4 070 
701 1 |3 PPN12896040X  |a Feys  |b Robert  |f 1889-1961  |4 730 
701 1 |3 PPN026959518  |a Ladrière  |b Jean  |f 1921-2007  |4 730 
801 3 |a FR  |b Abes  |c 20120216  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 1 |a FR  |b BNF  |c 19970523 
801 1 |a FR  |b AIC  |c 20020312 
915 |5 441092102:182296180  |a 0080181402  |b 0080181402 
919 |5 441092102:182296180  |a 0080181402 
930 |5 441092102:182296180  |b 441092102  |a S 34 (5)  |j u 
979 |a LET 
979 |a PHILO 
998 |a 318696