Skip to content
Register Sign in
Register Sign in Wishlist
Academic

Unlocking potential with the best learning and research solutions
Mathematics

Logic Colloquium

When

23 July – 28 July 2018

Where

Udine, Italy

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

Available titles

Results

Refine results

Refine results

Clear all

Series

Format

Rating

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

Show me

Subscribe now

Subscribe to Cambridge Alerts

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

Results

Listing Grid
Found 37 Results
Page 1 of 2
  • Synthetic Differential Topology

    Synthetic Differential Topology

    Bunge, Marta
    Gago, Felipe
    San Luis, Ana María
    Published: March 2018

    Paperback

    View product
  • The Homotopy Theory of (∞,1)-Categories

    The Homotopy Theory of (∞,1)-Categories

    Bergner, Julia E.
    Published: March 2018

    Paperback

    View product
  • Model Theory and the Philosophy of Mathematical Practice

    Model Theory and the Philosophy of Mathematical Practice

    Formalization without Foundationalism

    Baldwin, John T.
    Published: January 2018

    Hardback

    View product
  • Complexity Dichotomies for Counting Problems

    Complexity Dichotomies for Counting Problems

    Cai, Jin-Yi
    Chen, Xi
    Published: November 2017
    Volume 1. Boolean Domain

    Hardback

    View product
  • A Formal Theory of Commonsense Psychology

    A Formal Theory of Commonsense Psychology

    How People Think People Think

    Gordon, Andrew S.
    Hobbs, Jerry R.
    Published: September 2017

    Hardback

    View product
  • Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

    Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

    Grohe, Martin
    Published: August 2017

    Hardback

    View product
  • An Introduction to Description Logic

    An Introduction to Description Logic

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

    Paperback

    View product
  • Introduction to Coalgebra

    Introduction to Coalgebra

    Towards Mathematics of States and Observation

    Jacobs, Bart
    Published: October 2016

    Hardback

    View product
  • Lectures on Infinitary Model Theory

    Lectures on Infinitary Model Theory

    Marker, David
    Published: October 2016

    Hardback

    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

    Hardback

    View product
  • Logical Modalities from Aristotle to Carnap

    Logical Modalities from Aristotle to Carnap

    The Story of Necessity

    Cresswell, Max
    Mares, Edwin
    Rini, Adriane
    Published: September 2016

    Hardback

    View product
  • Programming in Haskell

    Programming in Haskell

    textbook

    Hutton, Graham
    Published: September 2016
    2nd Edition

    (1 reviews)

    Paperback

    View product Order inspection
  • Set Theory

    Set Theory

    A First Course

    textbook

    Cunningham, Daniel W.
    Published: July 2016

    Hardback

    View product Order inspection
  • Practical Foundations for Programming Languages

    Practical Foundations for Programming Languages

    Harper, Robert
    Published: April 2016
    2nd Edition

    Hardback

    View product Order inspection
  • The Once and Future Turing

    The Once and Future Turing

    Computing the World

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

    Hardback

    View product
  • Logic and Algebraic Structures in Quantum Computing

    Logic and Algebraic Structures in Quantum Computing

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

    Hardback

    View product
  • Ordinal Definability and Recursion Theory

    Ordinal Definability and Recursion Theory

    The Cabal Seminar, Volume III

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

    Hardback

    View product
  • Proofs and Refutations

    Proofs and Refutations

    The Logic of Mathematical Discovery

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

    Paperback

    View product
  • O-Minimality and Diophantine Geometry

    O-Minimality and Diophantine Geometry

    Jones, G. O.
    Wilkie, A. J.
    Published: August 2015

    Paperback

    View product
  • A Guide to NIP Theories

    A Guide to NIP Theories

    Simon, Pierre
    Published: July 2015

    Hardback

    View product
Found 37 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
×

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