Select
Explore
keyword: formal logic – 39 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 Creative Commons Attribution licensed ebooks are free to read - the people who created them want you to read and share them.
You are free to: copy and redistribute the material in any medium or format; remix, transform, and build upon the material; for any purpose, even commercially. Under the following terms: You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
These books are available in PDF format - good for desktops, printing.
Dirk Beyer and Marieke Huisman, editors
Christel Baier and Ugo Dal Lago, editors
Shuvendu K. Lahiri and Chao Wang, editors
Shuvendu K. Lahiri and Chao Wang, editors
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
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