Skip to content
Register Sign in Wishlist
Mathematics

Logic Colloquium

When

31 July – 6 August 2016

Where

Leeds, United Kingdom

The conference discount for the following titles is no longer available.

Available titles

Results

Refine results

Refine results

Clear all

Series

Format

Show me

Subscribe now

Save 20% on your next online purchase

Receive email alerts on new books, offers and news in Logic Colloquium.

Results

Listing Grid
Found 23 Results
Page 1 of 2
  • Lectures on Infinitary Model Theory

    Marker, David
    Published: October 2016

    £111.00

    Hardback

    Add to cart
  • Practical Foundations for Programming Languages

    Harper, Robert
    Published: April 2016
    2nd Edition

  • The Once and Future Turing

    Computing the World

    Cooper, S. Barry
    Hodges, Andrew
    Published: March 2016

    £26.99

    Hardback

    Add to cart
  • Logic and Algebraic Structures in Quantum Computing

    Chubb, Jennifer
    Eskandarian, Ali
    Harizanov, Valentina
    Published: March 2016

    £129.00

    Hardback

    Add to cart
  • Ordinal Definability and Recursion Theory

    The Cabal Seminar, Volume III

    Kechris, Alexander S.
    Löwe, Benedikt
    Steel, John R.
    Published: January 2016
    Volume 3

    £159.00

    Hardback

    Add to cart
  • Introduction to Random Graphs

    Frieze, Alan
    Karoński, Michał
    Published: October 2015

    £60.99

    Hardback

    Add to cart
  • Proofs and Refutations

    The Logic of Mathematical Discovery

    Lakatos, Imre
    Worrall, John
    Zahar, Elie
    Published: October 2015

    £19.99

    Paperback

    Add to cart
  • A Guide to NIP Theories

    Simon, Pierre
    Published: July 2015

    £111.00

    Hardback

    Add to cart
  • Computation, Proof, Machine

    Mathematics Enters a New Age

    Dowek, Gilles
    Guillot, Pierre
    Roman, Marion
    Published: May 2015

    £42.99

    Paperback

    Add to cart
  • Pure Inductive Logic

    Paris, Jeffrey
    Vencovská, Alena
    Published: April 2015

    £129.00

    Hardback

    Add to cart
  • Alan M. Turing

    Centenary Edition

    Turing, Sara
    Published: November 2014

    £14.99

    Paperback

    Add to cart
  • Type Theory and Formal Proof

    An Introduction

    Nederpelt, Rob
    Geuvers, Herman
    Published: November 2014

    £66.99

    Hardback

    Add to cart
  • Interpreting Gödel

    Critical Essays

    Kennedy, Juliette
    Published: August 2014

    £90.00

    Hardback

    Add to cart
  • Analysis of Boolean Functions

    O'Donnell, Ryan
    Published: June 2014

    £68.99

    Hardback

    Add to cart
  • Turing's Legacy

    Developments from Turing's Ideas in Logic

    Downey, Rod
    Published: May 2014

    £141.00

    Hardback

    Add to cart
  • Tractability

    Practical Approaches to Hard Problems

    Bordeaux, Lucas
    Hamadi, Youssef
    Kohli, Pushmeet
    Published: February 2014

    £125.00

    Hardback

    Add to cart
  • Effective Mathematics of the Uncountable

    Greenberg, Noam
    Hirschfeldt, Denis
    Hamkins, Joel David
    (+ 1 other)
    Published: October 2013

    £111.00

    Hardback

    Add to cart
  • Proofs and Computations

    Schwichtenberg, Helmut
    Wainer, Stanley S.
    Published: December 2011

    £71.99

    Hardback

    Add to cart
  • Set Theory, Arithmetic, and Foundations of Mathematics

    Theorems, Philosophies

    Kennedy, Juliette
    Kossak, Roman
    Published: September 2011

    £111.00

    Hardback

    Add to cart
  • Quantifiers, Propositions and Identity

    Admissible Semantics for Quantified Modal and Substructural Logics

    Goldblatt, Robert
    Published: July 2011

    £111.00

    Hardback

    Add to cart
Found 23 Results
Page 1 of 2

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
×

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.
×