Bundy, Alan - The computer modelling of mathematical reasoning

Academic press London 1983. Format 8°, broschiert, der Einband ist durch eine zusätzliche feste Transparentschutzfolie geschützt, 322 Seiten, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen, das Buch befindet sich in einem guten Zustand --- Softcover, 322 pages, Lib.Ex., no marks, the book is in a good condition