Skip to content
Register Sign in
Register Sign in Wishlist
Academic

Unlocking potential with the best learning and research solutions

Programming languages and applied logic

Results

Refine results

Refine results

Clear all

Series

Format

Rating

  • (4)
  • (1)
  • (0)
  • (0)
  • (0)

Show me

Subscribe now

Save 20% on your next online purchase

Receive email alerts on new books, offers and news in Programming languages and applied logic.

Results

Listing Grid
Found 232 Results
Page 2 of 12
  • Mathematical Logic through Python

    Mathematical Logic through Python

    Gonczarowski, Yannai A.
    Nisan, Noam
    Published: September 2022

    View product
  • The Dialogical Roots of Deduction

    The Dialogical Roots of Deduction

    Historical, Cognitive, and Philosophical Perspectives on Reasoning

    Dutilh Novaes, Catarina
    Published: August 2022

    View product
  • Programming in Ada 2012 with a Preview of Ada 2022

    Programming in Ada 2012 with a Preview of Ada 2022

    Barnes, John
    Published: May 2022
    2nd Edition

    View product
  • Essentials of Software Testing

    Essentials of Software Testing

    Bierig, Ralf
    Brown, Stephen
    Galván, Edgar
    (+ 1 other)
    Published: August 2021

    View product Order inspection
  • Model Checking Quantum Systems

    Model Checking Quantum Systems

    Principles and Algorithms

    Ying, Mingsheng
    Feng, Yuan
    Published: February 2021

    View product
  • Foundations of Probabilistic Programming

    Foundations of Probabilistic Programming

    Barthe, Gilles
    Katoen, Joost-Pieter
    Silva, Alexandra
    Published: December 2020

    View product
  • Algorithm Design with Haskell

    Algorithm Design with Haskell

    Bird, Richard
    Gibbons, Jeremy
    Published: July 2020

    View product
  • Python for Linguists

    Python for Linguists

    Hammond, Michael
    Published: May 2020

    View product
  • Finite-State Techniques

    Finite-State Techniques

    Automata, Transducers and Bimachines

    Mihov, Stoyan
    Schulz, Klaus U.
    Published: August 2019

    View product
  • An Invitation to Applied Category Theory

    An Invitation to Applied Category Theory

    Seven Sketches in Compositionality

    Fong, Brendan
    Spivak, David I.
    Published: July 2019

    View product
  • The Haskell School of Music

    The Haskell School of Music

    From Signals to Symphonies

    Hudak, Paul
    Quick, Donya
    Published: October 2018

    View product
  • An Introduction to Description Logic

    An Introduction to Description Logic

    Baader, Franz
    Horrocks, Ian
    Lutz, Carsten
    (+ 1 other)
    Published: April 2017

    View product
  • Constructibility

    Constructibility

    Devlin, Keith J.
    Published: March 2017

    View product
  • Picturing Quantum Processes

    Picturing Quantum Processes

    A First Course in Quantum Theory and Diagrammatic Reasoning

    Coecke, Bob
    Kissinger, Aleks
    Published: March 2017

    View product
  • Admissible Sets and Structures

    Admissible Sets and Structures

    Barwise, Jon
    Published: March 2017

    View product
  • Computability in Analysis and Physics

    Computability in Analysis and Physics

    Pour-El, Marian B.
    Richards, J. Ian
    Published: March 2017

    View product
  • General Recursion Theory

    General Recursion Theory

    An Axiomatic Approach

    Fenstad, Jens E.
    Published: March 2017

    View product
  • Gödel '96

    Gödel '96

    Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

    Hájek, Petr
    Published: March 2017

    View product
  • Higher Recursion Theory

    Higher Recursion Theory

    Sacks, Gerald E.
    Published: March 2017

    View product
  • Logic Colloquium '90

    Logic Colloquium '90

    ASL Summer Meeting in Helsinki

    Oikkonen, Juha
    Väänänen, Jouko
    Published: March 2017

    View product
Found 232 Results
Page 2 of 12

Browse by related subject

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon
×

Continue ×

Save 20% off on your next online purchase with Cambridge Alerts

Receive email alerts on new books, offers and news...

Subscribe

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.

Cancel

Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

×
Please fill in the required fields in your feedback submission.
×