Handbook of mathematical logic [electronic resource] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.].

Contributor(s): Barwise, Jon | Keisler, H. Jerome | ProQuest (Firm)Material type: TextTextSeries: Studies in logic and the foundations of mathematics ; v. 90.Publication details: Amsterdam ; New York : North-Holland Pub. Co., 1977Description: xi, 1165 pSubject(s): Logic, Symbolic and mathematicalGenre/Form: Electronic books.DDC classification: 511/.3 LOC classification: QA9 | .H32 1977Online resources: Click to View
Contents:
pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references and indexes.

pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics.

Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.

There are no comments on this title.

to post a comment.