News

archive3d
Logic, mathematics, and computer science : modern foundations with practical applications : Nievergelt, Yves, author - Archive.org
Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography ℗♭ 2002 Birkhℓℓuser, this second edition provides a modern introduction to the foundations of logic, ...