From Hilbert's program to a logic tool box

From MaRDI portal
Publication:1028646

DOI10.1007/S10472-009-9115-ZzbMath1167.00011OpenAlexW1963630311MaRDI QIDQ1028646

Johann A. Makowsky

Publication date: 6 July 2009

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-009-9115-z




Related Items (1)




Cites Work




This page was built for publication: From Hilbert's program to a logic tool box