Certified Programming with Dependent Types (draft 2015)
Book information
Similar books
Μαθηματική Λογική
2017 · PDF
Socratic Logic: A Logic Text Using Socratic Method, Platonic Questions & Aristotelian Principles
2004 · PDF
Logic
1948 · PDF
The Rationality of Induction
1986 · PDF
The Material Logic of John of St. Thomas: Basic Treatises
1955 · PDF
The Mathematical Experience, Study Edition
2011 · PDF
Logic
1948 · PDF
Studies on the History of Logic: Proceedings of the III. Symposium on the History of Logic
2020 · PDF