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


« calixto badesa »

1-12 sur 12 résultats pour « calixto badesa »
Skip side bar filters

  • The Birth of Model Theory

    Löwenheim's Theorem in the Frame of the Theory of Relatives

    par Calixto Badesa ...
    Löwenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models. However, while the original proofs of other, comparably significant theorems are well understood, this is not the case with Löwenheim's theorem. For example, the very result ... En savoir plus

    $131.99 CAD

Les lecteurs de ce roman ont aussi aimé

  • Fast Math: Learn the Secrets of Mental Math

    By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators

    par Tim Ander ...
    Think Fast with Vedic Math Secrets and Mental Calculation Tricks!When you read Fast Math, you’ll discover Vedic Math Techniques for mastering basic functions:AdditionSubtractionMultiplicationDivisionand so much more!With this fascinating guide, you can quickly and easily determine the square roots of perfect square numbers – and perform many other feats of mental gymnastics.These Vedic secrets ... En savoir plus

    $4.99 CAD ou Gratuit avec Kobo Plus

  • Taming the Unknown

    A History of Algebra from Antiquity to the Early Twentieth Century

    par Victor J. Katz, Karen Hunger Parshall ...
    What is algebra? For some, it is an abstract language of x's and y’s. For mathematics majors and professional mathematicians, it is a world of axiomatically defined constructs like groups, rings, and fields. Taming the Unknown considers how these two seemingly different types of algebra evolved and how they relate. Victor Katz and Karen Parshall explore the history of algebra, from its roots in ... En savoir plus

    $72.59 CAD

  • A Course on Mathematical Logic

    par Shashi Mohan Srivastava ...
    Collections series Mathematics and Statistics (R0)
    This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to ... En savoir plus

    $83.99 CAD

  • A Logical Introduction to Proof

    par Daniel W. Cunningham ...
    Collections series Mathematics and Statistics (R0)
    The book is intended for students who want to learn how to prove theorems and be better prepared for the rigors required in more advance mathematics. One of the key components in this textbook is the development of a methodology to lay bare the structure underpinning the construction of a proof, much as diagramming a sentence lays bare its grammatical structure. Diagramming a proof is a way of ... En savoir plus

    $64.99 CAD

  • The Infinite in Mathematics

    Logico-mathematical writings

    Traduit par Paul Foulkes ...
    par Felix Kaufmann ...
    Collections series Philosophy and Religion (R0)
    The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important changes have been required in philosophies of ... En savoir plus

    $179.99 CAD

  • Hybrid Logic and its Proof-Theory

    par Torben Braüner ...
    Collections series Mathematics and Statistics (R0)
    This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit reference to individual points in a model (where the points represent times, possible worlds, states in a computer, or something else). This is useful for many applications, for example when reasoning about time one often wants to formulate a ... En savoir plus

    $115.29 CAD

  • Combinatorial Algebra: Syntax and Semantics

    par Mark V. Sapir, Victor S. Guba, Mikhail V. Volkov ...
    Collections series Mathematics and Statistics (R0)
    Combinatorial Algebra: Syntax and Semantics provides comprehensive account of many areas of combinatorial algebra. It contains self-contained proofs of more than 20 fundamental results, both classical and modern. This includes Golod–Shafarevich and Olshanskii's solutions of Burnside problems, Shirshov's solution of Kurosh's problem for PI rings, Belov's solution of Specht's problem for varieties ... En savoir plus

    $64.09 CAD

  • A Missing Link in Cybernetics

    Logic and Continuity

    par Alex M. Andrew ...
    Collections series Mathematics and Statistics (R0)
    In this book I argue that a reason for the limited success of various studies under the general heading of cybernetics is failure to appreciate the importance of con- nuity, in a simple metrical sense of the term. It is with particular, but certainly not exclusive, reference to the Arti cial Intelligence (AI) effort that the shortcomings of established approaches are most easily seen. One reason ... En savoir plus

    $115.99 CAD

  • Inductive Logic

    par Stephan Hartmann ...
    Collections Livre 10 - Handbook of the History of Logic
    Inductive Logic is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic — as this handbook attests — is a research field where philosophers and ... En savoir plus

    $243.99 CAD

  • Leśniewski's Systems of Logic and Foundations of Mathematics

    par Rafal Urbaniak ...
    Collections series Mathematics and Statistics (R0)
    This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leśniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsaw school. The author’s nuanced survey eschews secondary commentary, analyzing Leśniewski's core philosophical views and evaluating the formulations that were to have such a ... En savoir plus

    $64.09 CAD

  • Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

    par Anna Horská ...
    Collections series Philosophy and Religion (R0)
    This book explains the first published consistency proof of PA. It contains the original Gentzen's proof, but it uses modern terminology and examples to illustrate the essential notions. The author comments on Gentzen's steps which are supplemented with exact calculations and parts of formal derivations. A notable aspect of the proof is the representation of ordinal numbers that was developed by ... En savoir plus

    $83.99 CAD