Home / Authors / Richard Bornat

Books by Richard Bornat

All books by this author

1 book found ← Back to Search
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)
🇺🇸 United States
Proof and Disproof in Formal Logic: An Introduction for Pro…
By: Richard Bornat
View Details