TY - BOOK AU - Fetisov,A.I. TI - Proof in geometry AV - MATH QA481.F433 PY - 1963/// CY - Boston PB - : University of Chicago KW - Axioms KW - Logic KW - symbolic and mathematical ER -