Natural Deduction -- The Logical Basis of Axiom Systems.
Wadsworth Publishing Co. CA, 1962, 418 pgs, Formulas, Suggested Readings, Index.
Results
Essential LISP.
Addison-Wesley 1987, 352 pages, index.
UNIX System Architecture.
Prentice-Hall NJ 1990, first edition, softcover; 7x9.5, 274 pages, Index, diagrams & illustrations.
The C Gazette, 2 issues, Volume 3, numbers 3 and 4, Winter 1988 and Spring 1989; Development Tools; Data Interchange Format; A Code Intensive C Quarterly for MS-DOS Systems.
Pacific Data Works, 1988 and 1989; 52 and 70 pages, double-column text, advertisements, etc.
The Incredible Sound Machine, Macintosh computer; 3.25 inch Disk included 1992.
Addison-Wesley, MA 1993, ISBN 0201608898, 380 pages.
Proceedings of an International Symposium on the Theory of Switching, 1957, parts I and II, 2 volumes.
Harvard Univ Press, MA 1959; volumes XXIX and XXX, Annals 29 & 30; 305 pp & 345 pp; 8x11, photographs, diagrams, references.
Designing Cards and Drivers for Macintosh II and Macintosh SE / Inside Macintosh Library.
Addison-Wesley publishers, MA and Apple Computer, Inc, CA 1987; approximately 250 pages with each section paginated separately; includes foldout diagrams at rear (connector board etc); illustrated; index. ISBN 020119256x.
Natural and Artificial Parallel Computation.
MIT Press, MA 1990, 345 pages, Illustrations, Bibliography, Indexes.
Mathematical Tables and other Aids to Computation volume 1, number 8 October 1944.
The National Research Council, October 1944, pp 309-336.
Mathematical Tables and other Aids to Computation, volume II, number 24, October 1948.
national Research Council, quarterly journal; pp 229 - 332 inclusive, some diagrams, references.
Mathematical Tables and Other Aids to Computation, volume III 1949, entire year 4 individual issues, January, April, July, October, nos. 25, 26, 27, 28.
MTAC, The National Research Council, 1949, 4 individual issues, entire year, pp. 333 - 596 inclusive, diagrams, references, notes.
Mathematical Tables and Aids to Computation, volume I number 3, July 1943.
The National Research Council, July 1943; pp 69 - 100 inclusive.
An Introduction to the Theory of Finite State Machines, Monograph No. 12, Discrete System Concepts Project, 28 June 1965.
Discrete System Concepts Project, National Science Foundation, Carnegie Institute of Technology, et al, incl. Rensselaer Polytechnic Institute, 1965, 79 pages, single-side typescript.
The Logic of Automata, parts I and II, plus more, in, Journal of the Association for Computing Machinery, 4 individual issues, complete year 1957.
JACM 1957, January, April, July, October, 558 pages, includes the Digital Computer Newsletter printed at rear of issues.
ACM 71 -- A quarter Century View.
Assoc. for Computing Machinery, NY 1971, 52 pages, illus. photographs.
Computing Reviews, full year 1964, 6 individual issues; volume 5, numbers 1 through 6 inclusive.
ACM, NY, 417 pages in 6 bi-monthly issues; double-column text, some adverts.
Communications of the Association for Computing Machinery, volume 2, no. 1, January 1959.
ACM NY 1959, pp 1 - 54 inclusive, plus advertisements; includes ONR Digital Computer Newsletter as pp 41-54.
Journal of the Association for Computing Machinery, 1956 complete year, 4 individual issues; January, April, July, October 1956, volume 3 numbers 1, 2, 3, 4.
ACM, 1956; 404 pages inclusive in 4 separate issues; inclusion of Digital Computer Newsletter at rear of issues.
ACM Computing Surveys -- volume 13, numbers 1 through 4 inclusive, 1981 (four individual issues).
ACM 1981, 4 individual issues; pp 1 - 494 inclusive, with annual index at rear; double-column text, references.
ACM Computing Surveys, 4 individual issues, complete year 1983; Volume 15 nos. 1-4, March, June, September, December 1983.
ACM, 1983, pp 1 -377 inclusive in 4 issues, double-column text, references, diagrams etc.
ACM Computing Surveys, 4 individual issues, complete year 1989; Volume 21 nos. 1-4, March, June, September, December 1989.
ACM 1989, pp 1-622 inclusive in four issues, double-column text, references etc.
ACM Computing Surveys, four individual issues, complete year 1984; Volume 16 nos. 1-4, March, June, September, December 1984.
ACM 1984, pp 1-433 pages, double-column text, references, diagrams etc.
ACM Computing Surveys, volume 9 nos. 1 through 4 inclusive, 1977 full year, 4 individual issues.
Association for Computing Machinery, 1977; pp 1 - 317 plus Cumulative Contents for Computing Surveys, volumes 1-9, 1969-1977 at rear; double-column text, references, diagrams etc.
Communications of the ACM volume 2, number 2, February 1959.
ACM 1959, 42 pages plus advertisements.
ACM Computing Surveys volume 4, nos. 1 - 4, 1972 complete year, four individual issues -- vol 4 no 1 March 1972, vol 4 no 2 June 1972; vol 4 no 3 September 1972, vol 4 no 4 December 1972.
ACM 1972, pp 1 - 259 inclusive; double column text, illustrations, references.