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