An introduction to mathematical logic and type theory : to truth through proof
(Book)
Author
Status
General Shelving - 3rd Floor
QA9 .A638 1986
1 available
QA9 .A638 1986
1 available
Description
Loading Description...
Also in this Series
Checking series information...
Copies
| Location | Call Number | Status |
|---|---|---|
| General Shelving - 3rd Floor | QA9 .A638 1986 | On Shelf |
Subjects
OCLC Fast Subjects
More Details
Format
Book
Physical Desc
xv, 304 pages ; 24 cm.
Language
English
Notes
Bibliography
Includes bibliographical references (pages 293-295) and index.
Local note
SACFinal081324
Reviews from GoodReads
Loading GoodReads Reviews.
Citations
APA Citation, 7th Edition (style guide)
Andrews, P. B. 1. (1986). An introduction to mathematical logic and type theory: to truth through proof . Academic Press.
Chicago / Turabian - Author Date Citation, 17th Edition (style guide)Andrews, P. B. 1937-. 1986. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Orlando: Academic Press.
Chicago / Turabian - Humanities (Notes and Bibliography) Citation, 17th Edition (style guide)Andrews, P. B. 1937-. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Orlando: Academic Press, 1986.
Harvard Citation (style guide)Andrews, P. B. 1. (1986). An introduction to mathematical logic and type theory: to truth through proof. Orlando: Academic Press.
MLA Citation, 9th Edition (style guide)Andrews, P. B. 1937-. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof Academic Press, 1986.
Note! Citations contain only title, author, edition, publisher, and year published. Citations should be used as a guideline and should be double checked for accuracy. Citation formats are based on standards as of August 2021.
Staff View
Loading Staff View.