Select
Explore
keyword: formal logic – 17 free books.
All these books are free to read: either they're distributed with a free license, or they're in the public domain.
These books are available in EPUB format - good for Kindle, iBooks, Nook, Kobo.
Shuvendu K. Lahiri and Chao Wang, editors
Shuvendu K. Lahiri and Chao Wang, editors
Mikołaj Bojańczyk and Alex Simpson, editors
Tomas Vojnar and Lijun Zhang, editors
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
Hana Chockler and Georg Weissenbacher, editors
Alessandra Russo and Andy Schürr, editors