عنوان
پدید آورنده
موضوع
رده
P 25 .C28 No.42
P
25
.
C28
No
.
42
کتابخانه
محل استقرار
Hyperproof ]for the Macintosh[
Stanford, Calif.
CSLI Publications
c1994
xvii, 255 p.: ill., tables + 1 diskette )3 1/2 in(
CSLI lecture notes; no. 24
ISBN 1881526119
John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... ]et al.[
1
، Computer science
، Logic, Symbolic and mathematical
، Hyperproof
، Macintosh )Computer(
P
25
.
C28
No
.
42
CA
160/
.
285/5369
Barwise, Jon
AU
AU Etchemendy, John, 1952-
TI
SE
