Skip to content
Cart 
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 223 Results
Page 2 of 12
  • An Introduction to Description Logic

    An Introduction to Description Logic

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

    £35.99

    Add to cart
  • Constructibility

    Constructibility

    Devlin, Keith J.
    Published: March 2017

    £125.00

    Add to cart
  • Picturing Quantum Processes

    Picturing Quantum Processes

    A First Course in Quantum Theory and Diagrammatic Reasoning

    Coecke, Bob
    Kissinger, Aleks
    Published: March 2017

    £80.99

    Add to cart
  • Admissible Sets and Structures

    Admissible Sets and Structures

    Barwise, Jon
    Published: March 2017

    £123.00

    Add to cart
  • Computability in Analysis and Physics

    Computability in Analysis and Physics

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

    £106.00

    Add to cart
  • General Recursion Theory

    General Recursion Theory

    An Axiomatic Approach

    Fenstad, Jens E.
    Published: March 2017

    £106.00

    Add to cart
  • 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

    £106.00

    Add to cart
  • Higher Recursion Theory

    Higher Recursion Theory

    Sacks, Gerald E.
    Published: March 2017

    £125.00

    Add to cart
  • Logic Colloquium '90

    Logic Colloquium '90

    ASL Summer Meeting in Helsinki

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

    £101.00

    Add to cart
  • Metamathematics of First-Order Arithmetic

    Metamathematics of First-Order Arithmetic

    Hájek, Petr
    Pudlák, Pavel
    Published: March 2017

    £138.00

    Add to cart
  • Recursion Theory

    Recursion Theory

    Shoenfield, Joseph R.
    Published: March 2017

    £101.00

    Add to cart
  • Recursion-Theoretic Hierarchies

    Recursion-Theoretic Hierarchies

    Hinman, Peter G.
    Published: March 2017

    £138.00

    Add to cart
  • Basic Computation and Programming with C

    Basic Computation and Programming with C

    textbook

    Saha, Subrata
    Mukherjee, Subhodip
    Published: January 2017

    £56.99

    Add to cart Order inspection
  • Computer Programming with C++

    Computer Programming with C++

    textbook Award Winner

    Pimparkhede, Kunal
    Published: January 2017

    £61.99

    Add to cart Order inspection
  • Introduction to Coalgebra

    Introduction to Coalgebra

    Towards Mathematics of States and Observation

    Jacobs, Bart
    Published: October 2016

    £134.00

    Add to cart
  • Temporal Logics in Computer Science

    Temporal Logics in Computer Science

    Finite-State Systems

    Demri, Stéphane
    Goranko, Valentin
    Lange, Martin
    Published: October 2016

    £102.00

    Add to cart
  • Programming in Haskell

    Programming in Haskell

    textbook

    Hutton, Graham
    Published: September 2016
    2nd Edition

    (1 reviews)

    £33.99

    Add to cart Order inspection
  • Practical Foundations for Programming Languages

    Practical Foundations for Programming Languages

    Harper, Robert
    Published: April 2016
    2nd Edition

    £62.99

    Add to cart Order inspection
  • Building High Integrity Applications with SPARK

    Building High Integrity Applications with SPARK

    McCormick, John W.
    Chapin, Peter C.
    Published: September 2015

    £46.99

     Add to cart
  • Formal Languages in Logic

    Formal Languages in Logic

    A Philosophical and Cognitive Analysis

    Dutilh Novaes, Catarina
    Published: November 2014

    £22.99

    Add to cart
Found 223 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.
×