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
Main Author: Andrews, P. B. (Peter Bruced1937-
Format: Unknown
Language:English
Published: Orlando Academic Press 1986
Series:Computer science and applied mathematics
Subjects:
Logic, Symbolic and mathematical
Type theory
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:Includes index.
Physical Description:xv, 304 p. 24 cm
Bibliography:Bibliography: p. 293-295.
ISBN:0120585367

Similar Items