On Logic Embeddings and Gödel’s God

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28114-8_1 ◽

2015 ◽

pp. 3-6 ◽

Cited By ~ 1

Author(s):

Christoph Benzmüller ◽

Bruno Woltzenlogel Paleo

Download Full-text