|Abstract||NOTE: This is an edited version of my lecture at LC ‘06. It differs from my earlier lecture at the Gödel Centenary in Vienna, April 29, 2006 most notably in section 5, where “Finite Graph Theory” is replaced by “Order Calculus”.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Howard Rosenbrock (2004). Ethics, Science, and the Mechanisation of the World Picture. AI and Society 18 (1):7-20.
Wolfgang Rautenberg (1986). Applications of Weak Kripke Semantics to Intermediate Consequences. Studia Logica 45 (1):119 - 134.
Rajeev Gore, Linda Postniece & Alwen Tiu, Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.
Leon Horsten & Philip Welch (2007). The Undecidability of Propositional Adaptive Logic. Synthese 158 (1):41 - 60.
Roberto Cordeschi (2006). Searching in a Maze, in Search of Knowledge: Issues in Early Artificial Intelligence. In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer-Verlag.
Darren Staloff (1995). The Search for a Meaningful Past. Teaching Co..
Brendan Kitts (1999). Representation Operators and Computation. Minds and Machines 9 (2):223-240.
Leszek Kołakowski (1975/2001). Husserl and the Search for Certitude. St. Augustine's Press.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Total downloads2 ( #232,628 of 549,592 )
Recent downloads (6 months)0
How can I increase my downloads?