m

Documents  Church, Alonzo | enregistrements trouvés : 1

O
K L Q M | g | F x r
     

-A +A

P Q

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

Introduction to mathematical logic. Vol. 1 Church, Alonzo | Princeton University Press 1956

Ouvrage

- 378 p.

Princeton mathematical series , 0017

Localisation : Ouvrage RdC (CHUR)

calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique

03-01 ; 03B05 ; 03B10 ; 03B15

... Lire [+]

|

Paniers

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes paniers

|

Signaler une erreur

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Filtrer

Auteurs

Church, Alonzo [1]

Référence

Princeton University Press [1]

Codes MSC

03-01 [1]

03B05 [1]

03B10 [1]

03B15 [1]

Date de parution

1956 [1]

Ressources Electroniques (Depuis le CIRM)

Books & Print journals

Recherche avancée

0
Z