An Introduction to Mathematical Logic and type Theory to Truth Through proof Peter B. Andrews
Material type:
TextPublication details: London Academic Press 1986Description: 303pSubject(s): DDC classification: - 510 AN565I
| Item type | Current library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Books
|
ABN Seal College | 510 AN565I (Browse shelf(Opens below)) | Available | 37790 |
Includes index & bibliography
There are no comments on this title.
Log in to your account to post a comment.