Wyniki
-
Non-Archimedean Valued Predicate Logic
Andrew Schumann
Bulletin of the Section of Logic , 36 /1-2 (2007) s. 67-78 -
Towards Theory of Massive-Parallel Proofs : cellular Automata Approach
Andrew Schumann
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 133-145 -
Two Squares of Opposition: for Analytic and Synthetic Propositions
Andrew Schumann
Bulletin of the Section of Logic , 40 /3-4 (2011) s. 165-178