Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide

Kobo Rakuten

Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Meilleures séries dans ce pays : Canada

1-12 sur 12 résultats pour « thomas piecha »
Skip side bar filters

  • Advances in Proof-Theoretic Semantics

    Modifié par Thomas Piecha, Peter Schroeder-Heister ...
    Collections series Mathematics and Statistics (R0)
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, ... En savoir plus

    Gratuit

Les lecteurs de ce roman ont aussi aimé

  • Godel's Proof

    par Ernest Nagel, James R. Newman ...
    Collections 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 ... En savoir plus

    $38.99 CAD

  • A Dictionary of Logic

    par Thomas Macaulay Ferguson, Graham Priest ...
    Collections series Oxford Quick Reference Online
    A Dictionary of Logic expands on Oxford's coverage of the topic in works such as The Oxford Dictionary of Philosophy, The Concise Oxford Dictionary of Mathematics, and A Dictionary of Computer Science. Featuring more than 450 entries primarily concentrating on technical terminology, the history of logic, the foundations of mathematics, and non-classical logic, this dictionary is an essential ... En savoir plus

    $9.99 CAD

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

    par 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 ... En savoir plus

    $10.99 CAD ou Gratuit avec Kobo Plus

  • Causation and Laws of Nature

    par Max Kistler ...
    Collections series Routledge Studies in Contemporary Philosophy
    This is the first English translation of Causalite´ et Lois de La Nature, and is an important contribution to the theory of causation*.* Max Kistler reconstructs a unified concept of causation that is general enough to adequately deal with both elementary physical processes, and the macroscopic level of phenomena we encounter in everyday life.This book will be of great interest to philosophers of ... En savoir plus

    Gratuit

  • Frege

    A Critical Introduction

    par Harold W. Noonan ...
    Collections series Key Contemporary Thinkers
    This new book offers a comprehensive and accessible introduction to Frege's remarkable philosophical work, examining the main areas of his writings and demonstrating the connections between them.Frege's main contribution to philosophy spans philosophical logic, the theory of meaning, mathematical logic and the philosophy of mathematics. The book clearly explains and assesses Frege's work in these ... En savoir plus

    $27.99 CAD

  • Elements of Logical Reasoning

    par Jan von Plato ...
    Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced ... En savoir plus

    $31.99 CAD

  • Analytic Number Theory For Undergraduates

    par Heng Huat Chan ...
    Collections Livre 3 - Monographs In Number Theory
    This book is written for undergraduates who wish to learn some basic results in analytic number theory. It covers topics such as Bertrand's Postulate, the Prime Number Theorem and Dirichlet's Theorem of primes in arithmetic progression.The materials in this book are based on A Hildebrand's 1991 lectures delivered at the University of Illinois at Urbana-Champaign and the author's course conducted ... En savoir plus

    $35.99 CAD

  • The Vienna Circle

    The Origins of Neo-Positivism

    par Victor Kraft ...
    Join original Vienna Circle member Victor Kraft in his discussion of the movement for an exclusive insider’s view of this important point in philosophical history. In this in-depth philosophical study, Victor Kraft explores the role the Vienna Circle had on the international philosophical movement. The Vienna Circle constituted a point of departure for the reawaking, rebirth, and reformation of ... En savoir plus

    $8.99 CAD ou Gratuit avec Kobo Plus

  • The Evolution of Logic

    par W. D. Hart ...
    Collections series The Evolution of Modern Philosophy
    Examines the relations between logic and philosophy over the last 150 years. Logic underwent a major renaissance beginning in the nineteenth century. Cantor almost tamed the infinite, and Frege aimed to undercut Kant by reducing mathematics to logic. These achievements were threatened by the paradoxes, like Russell's. This ferment generated excellent philosophy (and mathematics) by excellent ... En savoir plus

    $37.99 CAD

  • Interpreting Gödel

    Critical Essays

    Modifié par Juliette Kennedy ...
    The logician Kurt Gödel (1906–1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results ... En savoir plus

    $34.99 CAD

  • Foundations of Set Theory

    par A.A. Fraenkel, Y. Bar-Hillel, A. Levy ...
    Collections Livre 67 - Studies in Logic and the Foundations of Mathematics
    Foundations of Set Theory discusses the reconstruction undergone by set theory in the hands of Brouwer, Russell, and Zermelo. Only in the axiomatic foundations, however, have there been such extensive, almost revolutionary, developments. This book tries to avoid a detailed discussion of those topics which would have required heavy technical machinery, while describing the major results obtained in ... En savoir plus

    $64.99 CAD