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

Saved in:
Bibliographic Details
Main Author: Andrews, P. B. (Peter Bruce), 1937-
Format: Book
Language:English
Published: Orlando : Academic Press, 1986.
Series:Computer science and applied mathematics
Subjects:
Logic, Symbolic and mathematical.
Type theory.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000u 4500
001 00781983
003 PWmBRO
005 20240602101634.0
008 850809s1986 flu b 00110 eng
020 |a 0120585359 (alk. paper) 
020 |a 0120585367 (pbk. : alk. paper) 
050 0 |a QA9  |b .A638 1986 
082 0 |a 511.3�19 
090 |b 511.3/A568i 
100 1 0 |a Andrews, P. B.  |q (Peter Bruce),  |d 1937- 
245 1 3 |a An introduction to mathematical logic and type theory :  |b to truth through proof /  |c Peter B. Andrews. 
260 0 |a Orlando :  |b Academic Press,  |c 1986. 
300 |a xv, 304 p. 
440 0 |a Computer science and applied mathematics 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Type theory. 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_A568I  |7 0  |8 MN  |9 62448  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 511.3 A568i  |p 065438  |r 2018-03-24 00:00:00  |w 2018-03-24  |y BK 
999 |c 45821  |d 45821 

Similar Items