CIRM - Videos & books Library - An introduction to mathematical logic and type theory<br>to truth through proof

Ouvrage

Auteurs : Andrews, Peter B. (Principal)

Date de parution : 1986

Nbre/N° de page : 304 p.

ISBN : 978-0-12-058536-6

Cote : 00010819

Codes MSC : 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

Niveau d'autorisation : Public

Nbre d'exemplaires : 1

N°	Cote	Code barre	Commentaire
1		00010819	[disponible]