TY  - BOOK
AU  - Barwise, Jon
AU  - Etchemendy, John
TI  - Hyperproof 
SN  - 1881526119
U1  - 160.285 
PY  - 1994///
CY  - Stanford, California : 
PB  - Csli Publications, 
KW  - Hyperproof
N1  - NY
UR  - https://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/1-881526-11-9.pdf
ER  -