m

Documents  Wicks, M. J. | enregistrements trouvés : 1

O
     

-A +A

P Q

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


ISBN 978-0-444-86706-3

Studies in logic and the foundations of mathematics , 0111

Localisation : Colloque 1er étage (SING)

analyse non standard # axiome du choix # cardinal grand séquentiellement # combinatoire à valeur booléenne # ensemble # forcing # indécidabilité # manifestation d'attribut # matroide # méthode axiomatique # orthologique # quantification de Henkin # structure # système formel # théorie de la récursion # théorie des modèles # théorème d'approximation de Barwise # équivalence récursive

03-06 ; 03Dxx

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