m

Documents  Myhill, J. | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 516 p.

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BUFF)

logique # théorie de la démonstration # intuition # théorie de Church # théorie de quantification # théorie de Cohen # théorie de Brouwer # théorie de Gentzen # théorie de Herbrand

03-06 ; 03Bxx ; 03Fxx ; 00B25

... Lire [+]

Filtrer

Auteurs
Codes MSC
Langue

Titres de périodiques et e-books électroniques (Depuis le CIRM)

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z