Proof and disproof in formal logic : an introduction for programmers

Proof and disproof in formal logic : an introduction for programmers

Enregistré dans:
Détails bibliographiques
Auteur principal : Bornat Richard (Auteur)
Format : Livre
Langue : anglais
Titre complet : Proof and disproof in formal logic : an introduction for programmers / Richard Bornat
Publié : Oxford : Oxford university press , cop. 2005
Description matérielle : 1 vol. (XIX-243 p.)
Collection : Oxford texts in logic ; 2
Sujets :
Logique informatique
Logique mathématique

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 03C164 Prêt sans prolongation Disponible