Skip to content

Home Practice Lessons About

Matthias Baaz

Books

Logic for programming, artificial intelligence, and reasoning
Kurt Godel and the Foundations of Mathematics
Kurt Gödel and the foundations of mathematics
Logic Colloquium '01
Computer science logic
Computer science logic

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.