Nantilus
Language, proof, and logic
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Language, proof, and logic / Jon Barwise and John Etchemendy; in collab. with Gerard Allwein, Dave Barker-Plummer, and Albert Liu |
| Publié : |
Stanford, Calif., New York, London :
CSLI Publ.
, cop. 1999 Seven Bridge press |
| Description matérielle : | 1vol. (XI-587 p.) + 1 cédérom (4 3/4 in.) + 1 manuel ( 52 p.) |
| Sujets : |
BU Censive
| | Cote | Prêt | Statut |
|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | L BAR 22274 | Empruntable | Disponible |