An Introduction to mathematical logic and type theory : to truth through proof /

An Introduction to mathematical logic and type theory : to truth through proof /

Saved in:
Bibliographic Details
Author / Creator:Andrews, P. B. (Peter Bruce), 1937-
Imprint:Orlando : Academic Press, 1986.
Description:xv, 304 p. ; 24 cm.
Language:English
Series:Computer science and applied mathematics
Subject:
Logic, Symbolic and mathematical.
Type theory.
Logic, Symbolic and mathematical.
Type theory.
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/740008
Hidden Bibliographic Details
Varying Form of Title:Introduction to mathematical logic and type theory
ISBN:0120585359 (alk. paper)
0120585367 (pbk. : alk. paper)
Notes:Includes index.
Includes bibliographical references (p. 293-295) and index.

Similar Items

Similar Items