Application of natural deduction in Renaissance geometry

Argument : biannual philosophical journal, Tom 4, Numer 2 (2014) s. 425-438
Ryszard Mirek

 

do góry