Complete Problems in the First-Order Predicate Calculus
Dept. Of Computer Science, University of Illinois at Urbana-Champaign (1979)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Predicate calculus Computational complexity | |||||||||
| Categories | ||||||||||
| Call number | QA9.35.I4 no. 978 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesAlan Adamson & Robin Giles (1979). A Game-Based Formal System for Ł ${}_{\Infty}$. Studia Logica 38 (1):49 - 73.
Alan Adamson & Robin Giles (1979). A Game-Based Formal System for Ł∞. Studia Logica 38 (1):49-73.
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Michael Thielscher (2001). The Concurrent, Continuous Fluent Calculus. Studia Logica 67 (3):315-331.
Sueli Mendes dos Santos (1972). Automatic Proofs for Theorems on Predicate Calculus. [Rio De Janeiro,Pontificia Universidade Católica Do Rio De Janeiro].
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer.
S. Christiaan van Westrhenen (1969). The Statistical Estimation of Provability in the First Order Predicate Calculus. [Eindhoven, Technische Hogeschool (Inslindelaan 2).
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
