Wff 'N Proof: The Game of Modern Logic
Autotelic Instructional Materials Publishers (1962)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | WFF 'N PROOF (Game Mathematical recreations | |||||||||
| Categories | ||||||||||
| Call number | QA9.A44 1972 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,711 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesJohan van Benthem (2003). Logic Games Are Complete for Game Logics. Studia Logica 75 (2).
Giacomo Bonanno (2002). Modal Logic and Game Theory: Two Alternative Approaches. Risk Decision and Policy 7:309-324.
Peter Andrews (1968). On Simplifying the Matrix of a WFF. Journal of Symbolic Logic 33 (2):180-192.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Christian G. Fermüller & George Metcalfe (2009). Giles's Game and the Proof Theory of Łukasiewicz Logic. Studia Logica 92 (1):27 - 61.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
