Skip to main content
Search Button
Canada Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 12 results for “steve awodey”
Skip side bar filters

  • Cartesian Cubical Model Categories

    by Steve Awodey ...
    Series series Mathematics and Statistics (R0)
    This book introduces the category of Cartesian cubical sets and endows it with a Quillen model structure using ideas coming from Homotopy type theory. In particular, recent constructions of cubical systems of univalent type theory are used to determine abstract homotopical semantics of type theory. The celebrated univalence axiom of Voevodsky plays a key role in establishing the basic laws of a ... Read more

    $83.29 CAD

  • Rudolf Carnap: Studies in Semantics

    The Collected Works of Rudolf Carnap, Volume 7

    Edited by Steve Awodey, Greg Frost-Arnold ...
    Series series The Collected Works of Rudolf Carnap
    This volume contains Carnap's Studies in Semantics, a series of three interlocking books: Introduction to Semantics (1942), Formalization of Logic (1942), and Meaning and Necessity (1947). They were extremely influential in their time, especially the third, and shaped the direction of analytic philosophy during the 1950s and 1960s. They constitute the background to a number of celebrated ... Read more

    $151.29 CAD

People who read these also enjoyed

  • Generative Grammar

    Theory and its History

    by Robert Freidin ...
    Series series Routledge Leading Linguists
    Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation ... Read more

    $94.81 CAD

  • Gödel's Proof

    by Ernest Nagel, James R Newman, Douglas R. Hofstadter ...
    An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic: " An excellent nontechnical account." — Bulletin of the American Mathematical SocietyIn 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in ... Read more

    $2.99 CAD or Free with Kobo Plus

    Also available as: Audiobook

    Also available as: Audiobook

  • Basic Category Theory

    by Tom Leinster ...
    Series Book 143 - Cambridge Studies in Advanced Mathematics
    At the heart of this short introduction to category theory is the idea of a universal property, important throughout mathematics. After an introductory chapter giving the basic definitions, separate chapters explain three ways of expressing universal properties: via adjoint functors, representable functors, and limits. A final chapter ties all three together. The book is suitable for use in ... Read more

    $71.99 CAD

  • Beginner's Further Guide To Mathematical Logic, A

    by Raymond M Smullyan ...
    'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late great puzzle master and logician, Dr. Raymond Smullyan.This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on ... Read more

    $20.89 CAD

  • An Introduction to Non-Classical Logic

    From If to Is

    by Graham Priest ...
    Series series Cambridge Introductions to Philosophy
    This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. ... Read more

    $48.79 CAD

  • Probability with Martingales

    by David Williams ...
    Probability theory is nowadays applied in a huge variety of fields including physics, engineering, biology, economics and the social sciences. This book is a modern, lively and rigorous account which has Doob's theory of martingales in discrete time as its main theme. It proves important results such as Kolmogorov's Strong Law of Large Numbers and the Three-Series Theorem by martingale techniques, ... Read more

    $53.59 CAD

  • Tractatus Logico-Philosophicus

    by Ludwig Wittgenstein, Michael Beaney ...
    Series series Oxford World's Classics
    'what can be said at all can be said clearly; and of what one cannot talk, about that one must be silent' Wittgenstein's Tractatus Logico-Philosophicus, first published in German in 1921 and in English translation in 1922, is one of the most influential philosophical texts of the twentieth century. It played a fundamental role in the development of analytic philosophy, and its philosophical ideas ... Read more

    $7.19 CAD

  • Godel's Proof

    by Ernest Nagel, James R. Newman ...
    Series series Routledge Classics
    'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' – The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on ... Read more

    $38.46 CAD

  • Probability for Finance

    by Ekkehard Kopp, Jan Malczak, Tomasz Zastawniak ...
    Series series Mastering Mathematical Finance
    Students and instructors alike will benefit from this rigorous, unfussy text, which keeps a clear focus on the basic probabilistic concepts required for an understanding of financial market models, including independence and conditioning. Assuming only some calculus and linear algebra, the text develops key results of measure and integration, which are applied to probability spaces and random ... Read more

    $48.79 CAD

  • Meaning and Necessity - A Study in Semantics and Modal Logic

    by Rudolf Carnap ...
    The main purpose of this book is the development of a new method for the semantical analysis of meaning, that is, a new method for analyzing and describing the meanings of linguistic expressions. This method, called the method of extension and intension, is developed by modifying and extending certain customary concepts, especially those of class and property. The method will be contrasted with ... Read more

    $10.69 CAD or Free with Kobo Plus