Handbook of mathematical logic
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:
Genre:
Added Corporate Author:
Electronic Access:
Click to View