An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews. to truth through proof /

Saved in:
Bibliographic Details
Main Author: Andrews, Peter B.
Format: Book
Language:English
Published: Orlando ; London : Academic, 1986
Series:Computer science and applied mathematics
Subjects:
Logic, Symbolic and mathematical
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nxm-a2200000zn-4500
001 000160983
005 20180802113141.0
008 940223s1986----uk-a----W----00-----eng--
020 |a 0120585359 
089 |a 511.3 
100 1 |a Andrews, Peter B. 
245 1 3 |a An introduction to mathematical logic and type theory :  |b to truth through proof /  |c Peter B. Andrews. 
260 |a Orlando ;  |a London :  |b Academic,  |c 1986 
490 0 |a Computer science and applied mathematics 
504 |a Bibliography, p293-295. - Includes index 
650 0 0 |a Logic, Symbolic and mathematical 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_AND  |7 0  |9 201611  |a PILKINGTON  |b PILKINGTON  |c MAIN  |d 1994-02-23  |l 12  |o 511.3/AND  |p 0400020165  |r 2018-08-08 00:00:00  |s 2018-08-02  |w 2018-02-01  |y LONG 
999 |c 137302  |d 137302 
942 0 0 |0 1 

Similar Items