4 found
Sort by:
  1. Jan Platvono (2008). Gentzen's Proof of Normalization for Natural Deduction. Bulletin of Symbolic Logic 14 (2):240-257.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Jan Platvono (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
    Three things are presented: How Hilbert changed the original construction postulates of his geometry into existential axioms; In what sense he formalized geometry; How elementary geometry is formalized to present day's standards.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Jan Platvono (1982). Probability and Determinism. Philosophy of Science 49 (1):51-.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation