https://www.booktopia.com.au/lecture-notes-in-computer-science-tobias-nipkow/book/9783540433767.html
Lecture Notes in Computer Science by Tobias Nipkow | A Proof Assistant for Higher-Order Logic |...
Buy Lecture Notes in Computer Science, A Proof Assistant for Higher-Order Logic by Tobias Nipkow from Booktopia. Get a discounted Paperback from Australia's...
lecture notescomputer sciencetobias nipkowproof assistanthigher