Matches in Library of Congress for { <http://lccn.loc.gov/2006032415> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2006032415 contributor B10444600.
- 2006032415 created "c2007.".
- 2006032415 date "2007".
- 2006032415 date "c2007.".
- 2006032415 dateCopyrighted "c2007.".
- 2006032415 description "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.".
- 2006032415 description "Includes bibliographical references (p. 115-116) and index.".
- 2006032415 extent "viii, 119 p. :".
- 2006032415 identifier "1575865076 (cloth : alk. paper)".
- 2006032415 identifier "1575865084 (pbk. : alk. paper)".
- 2006032415 identifier "9781575865072 (cloth : alk. paper)".
- 2006032415 identifier "9781575865089 (pbk. : alk. paper)".
- 2006032415 identifier 2006032415-b.html.
- 2006032415 identifier 2006032415-d.html.
- 2006032415 identifier 2006032415.html.
- 2006032415 isPartOf "Studies in the theory and applications of diagrams".
- 2006032415 issued "2007".
- 2006032415 issued "c2007.".
- 2006032415 language "eng".
- 2006032415 publisher "Stanford, Calif. : CSLI Publications,".
- 2006032415 subject "516.2 22".
- 2006032415 subject "Euclid.".
- 2006032415 subject "Geometry Miscellanea.".
- 2006032415 subject "QA99 .M515 2007".
- 2006032415 tableOfContents "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.".
- 2006032415 title "Euclid and his twentieth century rivals : diagrams in the logic of Euclidean geometry / Nathaniel Miller.".
- 2006032415 type "text".