عنوان
پدید آورنده
موضوع
رده
P 25 .C28 No.42
P
25
.
C28
No
.
42
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Hyperproof ]for the Macintosh[
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Stanford, Calif.
Name of Publisher, Distributor, etc.
CSLI Publications
Date of Publication, Distribution, etc.
c1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvii, 255 p.: ill., tables + 1 diskette )3 1/2 in(
SERIES
Other Title Information
CSLI lecture notes; no. 24
GENERAL NOTES
Text of Note
ISBN 1881526119
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush ... ]et al.[
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer science
Entry Element
، Logic, Symbolic and mathematical
Entry Element
، Hyperproof
Entry Element
، Macintosh )Computer(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
P
25
.
C28
No
.
42
OTHER CLASS NUMBERS
Class number
CA
Class number
160/
.
285/5369
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Barwise, Jon
Relator Code
AU
AU Etchemendy, John, 1952-
TI
SE
