Foundations of mathematical logic. / Curry, Haskell B.
Material type:
TextLanguage: English DDC classification: - 511.3 C937F
| 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
|
National Institute of Technical Teachers Training & Research | 511.3 C937F (Browse shelf(Opens below)) | Available | 15446 |
Browsing National Institute of Technical Teachers Training & Research shelves Close shelf browser (Hides shelf browser)
| 511.2 S55T The method of mathematical induction. / | 511.3 B1D Discrete mathematics and its applications / | 511.3 B63C Computability and logic / | 511.3 C937F Foundations of mathematical logic. / | 511.3 G135L Logic for computer science : foundations of automatic theorem proving / | 511.3 G135L Logic for computer science : foundations of automatic theorem proving / | 511.3 H162N Naive set theory / |
There are no comments on this title.
Log in to your account to post a comment.