Media type: Book Title: Automated development of fundamental mathematical theories Contributor: Quaife, Art [Author] imprint: Dordrecht [u.a.]: Kluwer Academic, 1992 Published in: Automated reasoning series ; 2 Extent: XVIII, 271 S. Language: English ISBN: 0792320212 RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, ST 304 : Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation Keywords: Automatisches Beweisverfahren Origination: University thesis: Zugl.: Berkeley, Calif., Univ., Diss. : 1990 Footnote: Includes bibliographical references (p. [259]-265) and indexes