|Abstract||This article has no associated abstract. (fix it)|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Jaroslav Peregrin (2010). Inferentializing Semantics. Journal of Philosophical Logic 39 (3).
Kenny Easwaran (2010). Logic and Probability. Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Sara Negri (2011). Proof Analysis: A Contribution to Hilbert's Last Problem. Cambridge University Press.
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. Journal of Philosophical Logic 27 (2):179-216.
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Added to index2009-01-28
Total downloads40 ( #28,872 of 549,088 )
Recent downloads (6 months)1 ( #63,317 of 549,088 )
How can I increase my downloads?