A Mechanical Verification of the Independence of Tarski's Euclidean Axiom: A Thesis Submitted to the Victoria University of Wellington in Fulfilment of the Requirements for the Degree of Master of Science in Mathematics

Voorkant
Victoria University of Wellington, 2012 - 178 pagina's
0 Recensies

Wat mensen zeggen - Een review schrijven

We hebben geen reviews gevonden op de gebruikelijke plaatsen.

Bibliografische gegevens