Language, proof, and logic [Jon Barwise & John Etchemendy; in collaboration with Gerard Allwein ... et al.]
Material type:
Computer filePublication details: Stanford. Calif. : CSLI Publications, c2002.Edition: CD version 1.3Description: 1 CD-ROM ; 4 3/4 inISBN: - 978157586740
- BC61
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Books
|
Methodist University Library Main General Stacks | Reference | BC61 (Browse shelf(Opens below)) | Available | 39761 | |||||||||||||
|
Books
|
Methodist University Library Main General Stacks | Reference | BC61 (Browse shelf(Opens below)) | Available | 39763 |
Browsing Methodist University Library Main shelves,Shelving location: General Stacks,Collection: Reference Close shelf browser (Hides shelf browser)
|
|
No cover image available | No cover image available |
|
|
|
||
| BC177 .S32 1999 How to think about weird things : | BC177 .V47 2005 Critical thinking and everyday argument / | BC61 Language, proof, and logic | BC61 Language, proof, and logic | BC61 .B38 2002 Language, proof, and logic / | BC61 .N64 1984 Informal logic : | BC61 .N64 1984 Informal logic : |
Title from disc label.
"Leland Stanford Junior University."
propositional logic
Quantifiers
Applications and metatheory
There are no comments on this title.