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: Book
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!

Similar Items

Similar Items