Featured
Compare webshops (1)
Pages: 784, Paperback, Elsevier Science
Cambridge University Press
Higher Order Logic and Type Theory (Elements in Philosophy Logic)
Open Book Publishers
Representation Theory: A Categorical Approach
Categorical Closure Operators (Mathematics: Theory & Applications)
College Publications
Automated Reasoning in Higher order Logic: Set Comprehension and Extensionality Church's Type...
Back to top