En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
0

The two-valued iterative systems of mathematical logic

Sélection Signaler une erreur
Ouvrage

Post, Emil L. (Principal)

Princeton University Press

1965

122 p.

00006995

03B20

dérivation de système clos # logique mathématique # sous système de la logique classique # système itératif

Ville d'édition : Princeton

Pays d'édition : États-Unis

Langue : Anglais

N° édition : reprint o

Collation : Bibliogr. ; iv#23 cm#broch.

Collection : Annals of mathematics studies

N° de collection : 0005

Localisation : Ouvrage RdC (POST)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00006995

[disponible]
Sélection Signaler une erreur