An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack.
By: Barnes, Donald W.
Material type:
TextPublisher: New York : Springer-Verlag, 1975Description: viii, 121 p.ISBN: 184.Subject(s): Logic, Symbolic and mathematicalDDC classification: 511.3
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Book | Dr. B. R. Ambedkar Central Library Science | 511.3 B2611 Al (Browse shelf(Opens below)) | Available | 64148 |
Browsing Dr. B. R. Ambedkar Central Library shelves, Shelving location: Science Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 511.3 Al16 Ma Mathematical logic and formal systems : | 511.3 B237 La The lambda calculus : | 511.3 B237 La The lambda calculus : | 511.3 B2611 Al An algebraic introduction to mathematical logic / | 511.3 B2611 Al An algebraic introduction to mathematical logic / | 511.3 B2813 Th Theory and design of digital machines / | 511.3 B289 Ad Admissible sets and structures : |
Includes indexes.
There are no comments on this title.