Author: Miller, Nathaniel
Title: Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry.
Description: Stanford :CSLI Publications, 2007. Paperback. 119 pp. English text. Condition : as new.Includes bibliographical references (p. 115-116) and index. Contents : Background. A short history of diagrams, logic, and geometry ; The philosophy behind this work ; Euclid's elements -- Syntax and semantics of diagrams. Basic syntax of Euclidean diagrams ; Advanced syntax of diagrams : corresponding graph structures and diagram equivalence classes ; Diagram semantics ; Diagrammatic proofs -- Construction rules. Inference rules ; Transformation rules ; Dealing with areas and lengths of circular arcs ; CDEG -- Meta-mathematical results. Lemma incorporation ; Satisfiable and unsatisfiable diagrams ; Transformations and weaker systems. Mailorder only - Alleen verzending mogelijk. Book condition : as new. ISBN 9781575865089.

Keywords: ,