Contact
DMCA
Privacy Policy
Toggle navigation
Categories
Genre
Best Book 2021
Best Young Adult Books
Best Sci-Fict & Fantasy
NY Times Best Books
Best Romance Novel
Best self-published Amazon
Best Kindle & Prime Amazon
100 Books to Read
100 Child Books to Read
Art
Biography
Business
Childrens
Classics
Comics
Contemporary
Manga
Memoir
Music
Mystery
Non Fiction
Poetry
Psychology
Cookbooks
Religion
Crime
Romance
Science
Fantasy
Science Fiction
Fiction
Graphic Novels
Sport
History
Thriller
Horror
Travel
Humor and Comedy
Young Adult
More Than
12,0657,538
Books Collection
Home
New release
Popular Books
Most Read
Popular Author
Cs Logic Formal Books Categories
home
Cs Logic Formal Books Categories
Cs Logic Formal Categories Books List
Cs Logic Formal Books Categories
View More
Theorem Proving in Lean (ebook)
By:
Jeremy Avigad, Leonardo de Moura, and Soonho Kong
View More
Constructive Logic (ebook)
By:
Frank Pfenning
View More
Functional Programming in Lean (ebook)
By:
David Thrane Christiansen
View More
Static Program Analysis (Unknown Binding)
By:
Anders Møller
View More
Essentials of Programming Languages (Hardcover)
By:
Daniel P. Friedman
View More
Term Rewriting and All That (Volume 0)
By:
Franz Baader
View More
Refinement Types: A Tutorial (Foundations and Trends(r) in Programming Languages)
By:
Ranjit Jhala
View More
Type-Theoretical Grammar (ebook)
By:
Aarne Ranta
View More
Structural Proof Theory (Volume 0)
By:
Sara Negri
View More
Why Programs Fail: A Guide to Systematic Debugging (Paperback)
By:
Andreas Zeller
View More
Elements of Intuitionism (Oxford Logic Guides)
By:
Michael Dummett
View More
Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)
By:
Dirk van Dalen
View More
Proof Theory (Paperback)
By:
Gaisi Takeuti
View More
Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
By:
Bengt Nordström
View More
Thinking with Types. Type-Level Programming in Haskell (ebook)
By:
Sandy Maguire
View More
Domain-Specific Languages: Effective Modeling, Automation, and Reuse (Paperback)
By:
Andrzej Wąsowski
View More
The Little Typer (Mit Press)
By:
Daniel P. Friedman
View More
Category Theory in Context (Aurora: Dover Modern Math Originals)
By:
Emily Riehl
View More
Advanced Topics in Types and Programming Languages (Hardcover)
By:
Benjamin C. Pierce
View More
The Hitchhiker’s Guide to Logical Verification (ebook)
By:
Anne Baanen, Alexander Bentkamp, Jasmin Blanchette, Johannes Hölzl, Jannis Limperg
View More
The Algebra of Code, Volume 1: Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming (Paperback)
By:
Paul Orland
View More
Formal Semantics of Programming Languages (Paperback)
By:
Glynn Winskel
View More
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
By:
Daniel Kroening
View More
Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)
By:
Hanne Riis Nielson
View More
Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)
By:
Richard Zach
View More
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
By:
Melvin Fitting
View More
Introducing Category Theory (Paperback)
By:
Peter Smith
View More
Type Theory and Functional Programming (International Computer Science Series)
By:
Simon Thompson
View More
Lambda-Calculus and Combinators: An Introduction (Hardcover)
By:
J. Roger Hindley
View More
Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
By:
J. Roger Hindley
View More
Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)
By:
Morten Heine B. Sørensen
View More
Compilers: Principles, Techniques, and Tools (Hardcover)
By:
Alfred V. Aho
View More
Computer Architecture: A Quantitative Approach - 4th Edition (Paperback)
By:
John L. Hennessy
View More
Category Theory Illustrated (ebook)
By:
Boris Marinov
View More
Dynamic Logic (Hardcover)
By:
David Harel
View More
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
By:
T.F. Melham
View More
Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)
By:
Abramsky S
View More
Concrete Semantics (ebook)
By:
Tobias Nipkow
View More
Software Foundations (ebook)
By:
Benjamin C. Pierce
View More
Practical Foundations for Programming Languages (ebook)
By:
Robert Harper
View More
Gödel Without (Too Many) Tears
By:
Peter Smith
View More
Category Theory for Programmers (ebook)
By:
Bartosz Milewski
View More
Proofs and Computations (Perspectives in Logic)
By:
Helmut Schwichtenberg
View More
Learn You a Haskell for Great Good! (ebook)
By:
Miran Lipovača
View More
Model Checking (Hardcover)
By:
Edmund M. Clarke Jr.
View More
Diagonalization and Self-Reference (Oxford Logic Guides)
By:
Raymond M. Smullyan
View More
The Logic of Provability (Volume 0)
By:
George S. Boolos
View More
Interactive Theorem Proving and Program Development (Hardcover)
By:
Yves Bertot