From Hilbert’s program to a logic tool box-Reference-Cited by-同舟云学术

From Hilbert’s program to a logic tool box

Published:2008-08 Issue:1-4 Volume:53 Page:225-250
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Makowsky J. A.

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/content/pdf/10.1007/s10472-009-9115-z.pdf

Reference49 articles.

1. Abramsky, S.: Sequentiality vs. concurrency in games and logic. Math. Struct. Comput. Sci. 13(4), 531–565 (2003)

2. Barwise, J., Feferman, S. (eds.): Model-theoretic Logics. Perspectives in Mathematical Logic. Springer, New York (1985)

3. Blass, A., Gurevich, Y.: Why sets? In: Avron, A., Dershowitz, N., Rabinowich, A. (eds.) Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Lecture Notes in Computer Science, vol. 4800, pp. 179–198. Springer, New York (2008)

4. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Springer, New York (1997)

5. Boolos, G.: The consistency of Frege’s “foundations of arithmetic”. In: Logic, Logic, Logic, pp. 182–201. Harvard University Press, Cambridge (1998)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Keeping logic in the trivium of computer science: a teaching perspective;Formal Methods in System Design;2017-10-28

2. Exploring the Role of Logic and Formal Methods in Information Systems Education;Software Engineering and Formal Methods;2015

3. Database Repairing and Consistent Query Answering;Synthesis Lectures on Data Management;2011-08-20