Feedback

X
#1

keyword: Mathematical logic – 15 free books.

  • View As:
  • view list
  • view icon

The Amazing Journey of Reason: from DNA to Artificial Intelligence

Mario Alemi

More Info
AVAILABLE!
Read it Now
Book cover
The Amazing Journey of Reason: from DNA to Artificial Intelligence
Mario Alemi
Faved by 3
Read it Now

The Everyday Life of an Algorithm

Daniel Neyland

More Info
AVAILABLE!
Read it Now
Book cover
The Everyday Life of an Algorithm
Daniel Neyland
Faved by 4
Read it Now

Peter Schroeder-Heister on Proof-Theoretic Semantics

Thomas Piecha and Kai F. Wehmeier, editors

More Info
AVAILABLE!
Read it Now
Book cover
Peter Schroeder-Heister on Proof-Theoretic Semantics
Thomas Piecha and Kai F. Wehmeier, editors
No Faves
Read it Now

Vorlesungen über Philosophische Logik

André Fuhrmann

More Info
AVAILABLE!
Read it Now
Book cover
Vorlesungen über Philosophische Logik
André Fuhrmann
No Faves
Read it Now

Sheaf Theory through Examples

Daniel Rosiak

More Info
AVAILABLE!
Read it Now
Book cover
Sheaf Theory through Examples
Daniel Rosiak
No Faves
Read it Now

The Logical Writings of Karl Popper

David Binder et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
The Logical Writings of Karl Popper
David Binder et al. (editors)
No Faves
Read it Now

Fading Foundations

David Atkinson and Jeanne Peijnenburg

More Info
AVAILABLE!
Read it Now
Book cover
Fading Foundations
David Atkinson and Jeanne Peijnenburg
No Faves
Read it Now

Foundations of Software Science and Computation Structures

Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures
Jean Goubault-Larrecq and Barbara König (Professor of Information Engineering)
No Faves
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Tomas Vojnar and Lijun Zhang

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems
Tomas Vojnar and Lijun Zhang
No Faves
Read it Now

Computer Aided Verification

Isil Dillig and Serdar Tasiran

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Isil Dillig and Serdar Tasiran
No Faves
Read it Now

Computer Aided Verification

Hana Chockler and Georg Weissenbacher

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification
Hana Chockler and Georg Weissenbacher
No Faves
Read it Now

Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Mikołaj Bojańczyk and Alex Simpson, editors

More Info
AVAILABLE!
Read it Now
Book cover
Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
Mikołaj Bojańczyk and Alex Simpson, editors
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Dirk Beyer et al. (editors)

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Dirk Beyer et al. (editors)
Faved by 1
Read it Now

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

Tomas Vojnar and Lijun Zhang, editors

More Info
AVAILABLE!
Read it Now
Book cover
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
Tomas Vojnar and Lijun Zhang, editors
Faved by 1
Read it Now

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler and Georg Weissenbacher, editors

More Info
AVAILABLE!
Read it Now
Book cover
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Hana Chockler and Georg Weissenbacher, editors
Faved by 1
Read it Now