✦ LIBER ✦

An Axiomatic Basis for Plane Geometry

✍ Scribed by Stewart S. Cairns

Book ID: 121436612
Publisher: American Mathematical Society
Year: 1933
Tongue: English
Weight: 960 KB
Volume: 35
Category: Article
ISSN: 0002-9947
DOI: 10.2307/1989321

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive Axiomatization of Plane Hyp

Constructive Axiomatization of Plane Hyperbolic Geometry

✍ Victor Pambuccian 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 202 KB

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, 'points' (upper-case) and 'lines' (lowercase), containing three individual constants, A0, A1, A2, standing for three non-collinear points, two binary operation symbols,

An Axiomatic Basis for Vectors

✍ Stewart Fowlie 📂 Article 📅 1970 🏛 The Mathematical Association 🌐 English ⚖ 269 KB

An axiomatic basis for computer programm

An axiomatic basis for computer programming

✍ Hoare, C. A. R. 📂 Article 📅 1969 🏛 Association for Computing Machinery 🌐 English ⚖ 641 KB

An axiomatic basis for computer programm

An axiomatic basis for computer programming

✍ Hoare, C. A. R. 📂 Article 📅 1983 🏛 Association for Computing Machinery 🌐 English ⚖ 532 KB

Constructive Axiomatizations of Plane Ab

Constructive Axiomatizations of Plane Absolute, Euclidean and Hyperbolic Geometry

✍ Victor Pambuccian 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 154 KB

An axiomatic basis for distributional eq

An axiomatic basis for distributional equality in utilitarianism

✍ D. Schoch 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 489 KB