Cs Logic Formal Books Categories

Cs Logic Formal Categories Books ListCs Logic Formal Books Categories

Theorem Proving in Lean (ebook)

Theorem Proving in Lean (ebook)

Theorem Proving in Lean (ebook)

By: Jeremy Avigad, Leonardo de Moura, and Soonho Kong

Constructive Logic (ebook)

Constructive Logic (ebook)

Constructive Logic (ebook)

By: Frank Pfenning

Functional Programming in Lean (ebook)

Functional Programming in Lean (ebook)

Functional Programming in Lean (ebook)

By: David Thrane Christiansen

Static Program Analysis (Unknown Binding)

Static Program Analysis (Unknown Binding)

Static Program Analysis (Unknown Binding)

By: Anders Møller

Essentials of Programming Languages (Hardcover)

Essentials of Programming Languages (Hardcover)

Essentials of Programming Languages (Hardcover)

By: Daniel P. Friedman

Term Rewriting and All That (Volume 0)

Term Rewriting and All That (Volume 0)

Term Rewriting and All That (Volume 0)

By: Franz Baader

Refinement Types: A Tutorial (Foundations and Trends(r) in Programming Languages)

Refinement Types: A Tutorial (Foundations and Trends(r) in Programming Languages)

Refinement Types: A Tutorial (Foundations and Trends(r) in Programming Languages)

By: Ranjit Jhala

Type-Theoretical Grammar (ebook)

Type-Theoretical Grammar (ebook)

Type-Theoretical Grammar (ebook)

By: Aarne Ranta

Structural Proof Theory (Volume 0)

Structural Proof Theory (Volume 0)

Structural Proof Theory (Volume 0)

By: Sara Negri

Why Programs Fail: A Guide to Systematic Debugging (Paperback)

Why Programs Fail: A Guide to Systematic Debugging (Paperback)

Why Programs Fail: A Guide to Systematic Debugging (Paperback)

By: Andreas Zeller

Elements of Intuitionism (Oxford Logic Guides)

Elements of Intuitionism (Oxford Logic Guides)

Elements of Intuitionism (Oxford Logic Guides)

By: Michael Dummett

Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

By: Dirk van Dalen

Proof Theory (Paperback)

Proof Theory (Paperback)

Proof Theory (Paperback)

By: Gaisi Takeuti

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

By: Bengt Nordström

Thinking with Types. Type-Level Programming in Haskell (ebook)

Thinking with Types. Type-Level Programming in Haskell (ebook)

Thinking with Types. Type-Level Programming in Haskell (ebook)

By: Sandy Maguire

Domain-Specific Languages: Effective Modeling, Automation, and Reuse (Paperback)

Domain-Specific Languages: Effective Modeling, Automation, and Reuse (Paperback)

Domain-Specific Languages: Effective Modeling, Automation, and Reuse (Paperback)

By: Andrzej Wąsowski

The Little Typer (Mit Press)

The Little Typer (Mit Press)

The Little Typer (Mit Press)

By: Daniel P. Friedman

Category Theory in Context (Aurora: Dover Modern Math Originals)

Category Theory in Context (Aurora: Dover Modern Math Originals)

Category Theory in Context (Aurora: Dover Modern Math Originals)

By: Emily Riehl

Advanced Topics in Types and Programming Languages (Hardcover)

Advanced Topics in Types and Programming Languages (Hardcover)

Advanced Topics in Types and Programming Languages (Hardcover)

By: Benjamin C. Pierce

The Hitchhiker’s Guide to Logical Verification (ebook)

The Hitchhiker’s Guide to Logical Verification (ebook)

The Hitchhiker’s Guide to Logical Verification (ebook)

By: Anne Baanen, Alexander Bentkamp, Jasmin Blanchette, Johannes Hölzl, Jannis Limperg

The Algebra of Code, Volume 1: Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming (Paperback)

The Algebra of Code, Volume 1: Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming (Paperback)

The Algebra of Code, Volume 1: Explore Set Theory, Abstract Algebra, and Category Theory with Functional Programming (Paperback)

By: Paul Orland

Formal Semantics of Programming Languages (Paperback)

Formal Semantics of Programming Languages (Paperback)

Formal Semantics of Programming Languages (Paperback)

By: Glynn Winskel

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

By: Daniel Kroening

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

By: Hanne Riis Nielson

Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)

Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)

Sets, Logic, Computation: An Open Introduction to Metalogic (Open Logic Project Textbooks)

By: Richard Zach

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

By: Melvin Fitting

Introducing Category Theory (Paperback)

Introducing Category Theory (Paperback)

Introducing Category Theory (Paperback)

By: Peter Smith

Type Theory and Functional Programming (International Computer Science Series)

Type Theory and Functional Programming (International Computer Science Series)

Type Theory and Functional Programming (International Computer Science Series)

By: Simon Thompson

Lambda-Calculus and Combinators: An Introduction (Hardcover)

Lambda-Calculus and Combinators: An Introduction (Hardcover)

Lambda-Calculus and Combinators: An Introduction (Hardcover)

By: J. Roger Hindley

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Basic Simple Type Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

By: J. Roger Hindley

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

By: Morten Heine B. Sørensen

Compilers: Principles, Techniques, and Tools (Hardcover)

Compilers: Principles, Techniques, and Tools (Hardcover)

Compilers: Principles, Techniques, and Tools (Hardcover)

By: Alfred V. Aho

Computer Architecture: A Quantitative Approach - 4th Edition (Paperback)

Computer Architecture: A Quantitative Approach - 4th Edition (Paperback)

Computer Architecture: A Quantitative Approach - 4th Edition (Paperback)

By: John L. Hennessy

Category Theory Illustrated (ebook)

Category Theory Illustrated (ebook)

Category Theory Illustrated (ebook)

By: Boris Marinov

Dynamic Logic (Hardcover)

Dynamic Logic (Hardcover)

Dynamic Logic (Hardcover)

By: David Harel

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)

By: T.F. Melham

Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)

Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)

Handbook of Logic in Computer Science (Handbook of Logic in Computer Science, Vol 1)

By: Abramsky S

Concrete Semantics (ebook)

Concrete Semantics (ebook)

Concrete Semantics (ebook)

By: Tobias Nipkow

Software Foundations (ebook)

Software Foundations (ebook)

Software Foundations (ebook)

By: Benjamin C. Pierce

Practical Foundations for Programming Languages (ebook)

Practical Foundations for Programming Languages (ebook)

Practical Foundations for Programming Languages (ebook)

By: Robert Harper

Gödel Without (Too Many) Tears

Gödel Without (Too Many) Tears

Gödel Without (Too Many) Tears

By: Peter Smith

Category Theory for Programmers (ebook)

Category Theory for Programmers (ebook)

Category Theory for Programmers (ebook)

By: Bartosz Milewski

Proofs and Computations (Perspectives in Logic)

Proofs and Computations (Perspectives in Logic)

Proofs and Computations (Perspectives in Logic)

By: Helmut Schwichtenberg

Learn You a Haskell for Great Good! (ebook)

Learn You a Haskell for Great Good! (ebook)

Learn You a Haskell for Great Good! (ebook)

By: Miran Lipovača

Model Checking (Hardcover)

Model Checking (Hardcover)

Model Checking (Hardcover)

By: Edmund M. Clarke Jr.

Diagonalization and Self-Reference (Oxford Logic Guides)

Diagonalization and Self-Reference (Oxford Logic Guides)

Diagonalization and Self-Reference (Oxford Logic Guides)

By: Raymond M. Smullyan

The Logic of Provability (Volume 0)

The Logic of Provability (Volume 0)

The Logic of Provability (Volume 0)

By: George S. Boolos

Interactive Theorem Proving and Program Development (Hardcover)

Interactive Theorem Proving and Program Development (Hardcover)

Interactive Theorem Proving and Program Development (Hardcover)

By: Yves Bertot