Language, proof, and logic / Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu.
Material type:
TextPublication details: Stanford (Ca.) : CSLI Publications, ©2002.Description: xi, 587 p. ; 24 cmISBN: - 157586374X
- BC 61.B38-1
| Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
Opera (Magaz.)
|
Biblioteca "Angelicum" Pont. Univ. S.Tommaso d'Aquino Magazzino | BC 61.B38-1 (Browse shelf(Opens below)) | 1 | Available | 0030109792 |
Indici.

