Logic, mathematics, and computer science : modern foundations with practical applications /: modern foundations with practical applications. (2015) - Nievergelt, Yves
No abstract available