m

F Nous contacter

0
     
Ouvrage

H 0 An introduction to mathematical logic and type theory
to truth through proof

Andrews, Peter B. (Principal)

Academic Press

1986

304 p.

978-0-12-058536-6

00010819

03-XX ; 03B15 ; 03B35 ; 68A40

calcul des prédicats # démonstration # logique de premier ordre # logique mathématiques # réfutation

Ville d'édition : London ; N.Y.

Pays d'édition : Grande-Bretagne ; États-Unis

Langue : Anglais

EAN13 : 9780120585366

ISBN : 0-12-058536-7

Collation : 22 cm ; appendix ; Bibliogr. ; broch. ; Index ; xv

Collection : Computer science and applied mathematics

Localisation : Ouvrage RdC (ANDR)

Notes : Published for the eidgenossische hochschule zurich

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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