Hyperproof
Barwise, Jon
Hyperproof - Stanford, California : Csli Publications, c1994 - XVII, 255 p. : ill +1 Disk - Csli Lecture Notes ; No. 42 .
Includes Index
1881526119
Hyperproof
160.285 / BAR
Hyperproof - Stanford, California : Csli Publications, c1994 - XVII, 255 p. : ill +1 Disk - Csli Lecture Notes ; No. 42 .
Includes Index
1881526119
Hyperproof
160.285 / BAR