A Mechanical Verification of the Independence of Tarski's Euclidean Axiom
First publication date: January 1, 2012
Original title: A Mechanical Verification of the Independence of Tarski's Euclidean Axiom
Original language: English
Main subject: geometry, parallel postulate
Editions
No editions found
Lists
There is nothing here
Work -
Comments
There is nothing here