Nantilus
Proof, logic and formalization
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Proof, logic and formalization |
| Publié : |
London, New York :
Routledge
, 1992 |
| Description matérielle : | X-241 p. |
| Sujets : |
BU Lettres
| | Cote | Prêt | Statut |
|---|---|---|---|
| Document à demander aux points d'accueil | S 240962 | Empruntable | Disponible |