Index of /document/Logica Universalies/Vol 6- 2012/Num 1&2 - June2012   Name Size   Parent Directory -   Characteristic Formulas of Partial Heyting Algebras.pdf 408K   Frege’s Ancestral and Its Circularities.pdf 171K   From Single Agent to Multi-Agent via....pdf 312K   HERBRAND’s Fundamental Theorem.pdf 498K   Jean van Heijenoort’s Conception of Modern Logic, in Historical Perspective.pdf 733K   Jean van Heijenoort and the Gödel Editorial Project.pdf 159K   Logic as Calculus Versus Logic as Language, Language as Calculus Versus Language as Universal Medium, and Syntax Versus Semantics.pdf 173K   Logic as a Science and Logic as a Theory -- Remarks on Frege, Russell and the Logocentric Predicament.pdf 234K   Quantified Multimodal Logics in Simple Type Theory.pdf 267K   Scholarly Publications of Jean van Heijenoort Compiled by lrving H. Anellis.pdf 131K   Toward A Visual Proof System - - Lewis Carroll’s Method of Trees.pdf 307K