m

F Nous contacter

0

Documents  Takeuti, Gaisi | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 372 p.
ISBN 978-0-444-10492-2

Studies in logic and the foundations of mathematics , 0081

Localisation : Ouvrage RdC (TAKE)

démonstration # théorie de la démonstration

03F25 ; 03F30 ; 03Fxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 137 p.

Publications of the mathematical society of japan , 0013

Localisation : Ouvrage RdC (TAKE)

logique mathématique

03G05 ; 06Exx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 490 p.
ISBN 978-0-444-87943-1

Studies in Logic and the Foundations of Mathematics

Localisation : Ouvrage RdC (T)

démonstration # théorie de la démonstration

03F25 ; 03F30 ; 03Fxx

... Lire [+]

Z