m

Documents  Critères de recherche : "Logic colloquium '73" | enregistrements trouvés : 1

O
     

-A +A

P Q

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


ISBN 978-3-540-07155-6

Lecture notes in mathematics , 0453

Localisation : Collection 1er étage

abolition d'axiome de Frege # foncteur combinatoire # interprétation de réalisabilité de la théorie des espèces # langage abstrait # logique # métamathématique # théorie de second ordre monadique faible du successeur # variable # égalité entre fonctionnelle

00Bxx ; 03-06

... 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