m

F Nous contacter

0
     
Ouvrage

H 0 Introduction to mathematical logic. Vol. 1

Church, Alonzo (Principal)

Princeton University Press

1956

378 p.

00004043

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

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

Ville d'édition : New Jersey ; Princeton

Pays d'édition : États-Unis

Langue : Anglais

Collation : errata#24 cm#rel. ; Index

Collection : Princeton mathematical series

N° de collection : 0017

Localisation : Ouvrage RdC (CHUR)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00004043 [disponible]
Z