Skip to main content
Search Button
Estados Unidos Tienda Kobo Tarjetas de regalo Ayuda

Kobo Rakuten

Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...


1 - 12 de 12 resultados para “steve awodey”
Skip side bar filters

  • Cartesian Cubical Model Categories

    de 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 ... Leer más

    $62.99 USD

  • Rudolf Carnap: Studies in Semantics

    The Collected Works of Rudolf Carnap, Volume 7

    Edición de 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 ... Leer más

    $143.99 USD

La gente que leyó estos también disfrutó

  • Generative Grammar

    Theory and its History

    de 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 ... Leer más

    $68.99 USD

  • Gödel's Proof

    de 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 ... Leer más

    $12.99 USD o gratis con Kobo Plus

  • Basic Category Theory

    de Tom Leinster ...
    Series Libro 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 ... Leer más

    $63.99 USD

  • Beginner's Further Guide To Mathematical Logic, A

    de 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 ... Leer más

    $18.99 USD

  • An Introduction to Non-Classical Logic

    From If to Is

    de 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. ... Leer más

    $43.99 USD

  • Probability with Martingales

    de 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, ... Leer más

    $47.99 USD

  • Tractatus Logico-Philosophicus

    de 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 ... Leer más

    $7.99 USD

    Disponible también en: Audiolibros

    Disponible también en: Audiolibros

  • Godel's Proof

    de 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 ... Leer más

    $27.99 USD

  • Probability for Finance

    de 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 ... Leer más

    $43.99 USD

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

    de 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 ... Leer más

    $9.99 USD o gratis con Kobo Plus