Title The computer modelling of mathematical reasoning / Alan Bundy.

Publication Info.

London ; New York : Academic Press, 1983.

Copies

Location	Call No.	Status
University of Saint Joseph: Pope Pius XII Library - Standard Shelving Location	511.3 B942C	Check Shelf

Description	xiv, 322 pages : illustrations ; 23 cm
Note	Includes index.
Bibliography	Bibliography: pages 312-317.
Subject	Mathematics -- Data processing.
	Logic, Symbolic and mathematical.
	Automatic theorem proving.
ISBN	0121412520 0121413520 (pbk.)
	0121412504 hardcover

-->