Skip to content
Register Sign in
Register Sign in Wishlist
Academic

Unlocking potential with the best learning and research solutions
Mathematics

Associaton for Symbolic Logic

When

20 May – 23 May 2019

Where

New York, NY, United States

website

https://asl2019.commons....

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 Associaton for Symbolic Logic.

Results

Listing Grid
Found 19 Results
Page 1 of 1

This series contains other subjects. View the titles

  • An Invitation to Applied Category Theory

    An Invitation to Applied Category Theory

    Seven Sketches in Compositionality

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

    Paperback

    View product
  • An Introduction to the Philosophy of Logic

    An Introduction to the Philosophy of Logic

    textbook

    Cohnitz, Daniel
    Estrada-González, Luis
    Published: May 2019

    Paperback

    View product Order inspection
  • Justification Logic

    Justification Logic

    Reasoning with Reasons

    Artemov, Sergei
    Fitting, Melvin
    Published: May 2019

    Hardback

    View product
  • Proof Complexity

    Proof Complexity

    Krajíček, Jan
    Published: March 2019

    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: January 2019

    Paperback

    View product
  • Quine, New Foundations, and the Philosophy of Set Theory

    Quine, New Foundations, and the Philosophy of Set Theory

    Morris, Sean
    Published: December 2018

    Hardback

    View product
  • Abstract Recursion and Intrinsic Complexity

    Abstract Recursion and Intrinsic Complexity

    Moschovakis, Yiannis N.
    Published: December 2018

    Hardback

    View product
  • Slenderness

    Slenderness

    Dimitric, Radoslav
    Published: December 2018
    Volume 1. Abelian Categories

    Hardback

    View product
  • The Significance of the New Logic

    The Significance of the New Logic

    Quine, Willard Van Orman
    Published: May 2018

    Hardback

    View product
  • Synthetic Differential Topology

    Synthetic Differential Topology

    Bunge, Marta
    Gago, Felipe
    San Luis, Ana María
    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: January 2018
    Volume 1. Boolean Domain

    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
  • 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
  • Set Theory

    Set Theory

    A First Course

    textbook

    Cunningham, Daniel W.
    Published: July 2016

    Hardback

    View product Order inspection
  • Pure Inductive Logic

    Pure Inductive Logic

    Paris, Jeffrey
    Vencovská, Alena
    Published: April 2015

    Hardback

    View product
  • Basic Category Theory

    Basic Category Theory

    Leinster, Tom
    Published: July 2014

    Hardback

    View product
  • Lambda Calculus with Types

    Lambda Calculus with Types

    Barendregt, Henk
    Dekkers, Wil
    Statman, Richard
    Published: June 2013

    Hardback

    View product
Found 19 Results
Page 1 of 1

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