From Hilbert’s Program to a Logic Toolbox

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75560-9_1 ◽

2007 ◽

pp. 1-1

Author(s):

Johann A. Makowsky

Download Full-text