A modern formal logic primer / Paul Teller.
By: Teller, Paul [author]
Language: English Publisher: Englewood Cliffs, N.J. : Prentice Hall, c1989Description: 2 volume : illustrations ; 23 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 0139031707; 0139031960; 9780139031700; 9780139031960Subject(s): LogicDDC classification: 511.3 LOC classification: BC71 | .T42 1989
Contents:
v. 1. Sentence logic -- v. 2. Predicate logic and metatheory.
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
BOOK
|
COLLEGE LIBRARY | COLLEGE LIBRARY SUBJECT REFERENCE | 511.3 T238 1989 (Browse shelf) | Available | CITU-CL-33369 |
Total holds: 0
Browsing COLLEGE LIBRARY Shelves , Shelving location: SUBJECT REFERENCE Close shelf browser
|
|
|
|
|
|
|
||
| 511.3 Si75 1997 Introduction to the theory of computation / | 511.3 Si75 2006 Introduction to the theory of computation / | 511.3 Su22 2006 Languages and machines : an introduction to the theory of computer science / | 511.3 T238 1989 A modern formal logic primer / | 511.32 F9899 2016 Fuzzy sets and their applications | 511.32 K65 1988 Fuzzy sets, uncertainty, and information / | 511.33 F878 1995 Free lattices / |
Includes indexes.
v. 1. Sentence logic -- v. 2. Predicate logic and metatheory.
There are no comments for this item.