Handbook of mathematical logic
by
Barwise, Jon.
Title
:
Handbook of mathematical logic
Author
:
Barwise, Jon.
Publication Information
:
Amsterdam ; New York : North-Holland Pub. Co., 1977.
Physical Description
:
xi, 1165 p.
Series
:
Studies in logic and the foundations of mathematics ; v. 90
Studies in logic and the foundations of mathematics ; v. 90.
Contents
:
pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
Subject Term
:
Logic, Symbolic and mathematical.
Genre
:
Electronic books.
Added Author
:
Barwise, Jon.
Keisler, H. Jerome.
Added Corporate Author
:
ProQuest (Firm)
Electronic Access
:
| Library | Material Type | Item Barcode | Shelf Number | Status |
|---|
| IYTE Library | E-Book | 2237883-1001 | QA9 .H32 1977 | Ebrary E-Books |