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

Subscribe to Cambridge Alerts

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

Results

Listing Grid
Found 229 Results
Page 3 of 12
  • Metamathematics of First-Order Arithmetic

    Metamathematics of First-Order Arithmetic

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

    View product
  • Recursion Theory

    Recursion Theory

    Shoenfield, Joseph R.
    Published: March 2017

    View product
  • Recursion-Theoretic Hierarchies

    Recursion-Theoretic Hierarchies

    Hinman, Peter G.
    Published: March 2017

    View product
  • Introduction to Coalgebra

    Introduction to Coalgebra

    Towards Mathematics of States and Observation

    Jacobs, Bart
    Published: October 2016

    View product
  • Temporal Logics in Computer Science

    Temporal Logics in Computer Science

    Finite-State Systems

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

    View product
  • Programming in Haskell

    Programming in Haskell

    textbook

    Hutton, Graham
    Published: September 2016
    2nd Edition

    (1 reviews)
    View product Order inspection
  • Practical Foundations for Programming Languages

    Practical Foundations for Programming Languages

    Harper, Robert
    Published: April 2016
    2nd Edition

    View product Order inspection
  • Building High Integrity Applications with SPARK

    Building High Integrity Applications with SPARK

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

    View product
  • Formal Languages in Logic

    Formal Languages in Logic

    A Philosophical and Cognitive Analysis

    Dutilh Novaes, Catarina
    Published: November 2014

    View product
  • Type Theory and Formal Proof

    Type Theory and Formal Proof

    An Introduction

    Nederpelt, Rob
    Geuvers, Herman
    Published: November 2014

    View product
  • Thinking Functionally with Haskell

    Thinking Functionally with Haskell

    Bird, Richard
    Published: October 2014

    View product
  • The Semantic Web Explained

    The Semantic Web Explained

    The Technology and Mathematics behind Web 3.0

    Szeredi, Péter
    Lukácsy, Gergely
    Benkő, Tamás
    Published: September 2014

    View product
  • Basic Category Theory

    Basic Category Theory

    Leinster, Tom
    Published: July 2014

    Hardback

    View product
  • Programming in Ada 2012

    Programming in Ada 2012

    Barnes, John
    Published: June 2014

    Adobe eBook Reader

    View product
  • Turing's Legacy

    Turing's Legacy

    Developments from Turing's Ideas in Logic

    Downey, Rod
    Published: May 2014

    View product
  • Program Logics for Certified Compilers

    Program Logics for Certified Compilers

    Appel, Andrew W.
    Published: April 2014

    View product
  • Foundations of Data Exchange

    Foundations of Data Exchange

    Arenas, Marcelo
    Barceló, Pablo
    Libkin, Leonid
    (+ 1 other)
    Published: March 2014

    View product
  • Modal Logic for Philosophers

    Modal Logic for Philosophers

    Garson, James W.
    Published: November 2013
    2nd Edition

    View product
  • Nominal Sets

    Nominal Sets

    Names and Symmetry in Computer Science

    Pitts, Andrew M.
    Published: May 2013

    View product
  • Systematic Program Design

    Systematic Program Design

    From Clarity to Efficiency

    Liu, Yanhong Annie
    Published: May 2013

    View product
Found 229 Results
Page 3 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.
×