Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 306 p.
ISBN 978-3-540-11159-7
Lecture notes in mathematics , 0890
Localisation : Collection 1er étage
arithmétique de premier ordre # fondement de la logique mathématique # logique mathématique # modèle d'arithmétique # théorie de la preuve # théorie des ensembles # théorie des modèles
03-06 ; 03C55 ; 03C65 ; 03H15
... Lire [+]