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


“calixto badesa”

1 - 12 de 12 resultados para “calixto badesa”
Skip side bar filters

  • The Birth of Model Theory

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

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

    $86.39 USD

La gente que leyó esto también disfrutó

  • 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

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

    $2.99 USD o gratis con Kobo Plus

  • Taming the Unknown

    A History of Algebra from Antiquity to the Early Twentieth Century

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

    $47.59 USD

  • A Course on Mathematical Logic

    de Shashi Mohan Srivastava ...
    Series 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 ... Leer más

    $62.99 USD

  • A Logical Introduction to Proof

    de Daniel W. Cunningham ...
    Series 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 ... Leer más

    $53.99 USD

  • The Infinite in Mathematics

    Logico-mathematical writings

    Traducido por Paul Foulkes ...
    de Felix Kaufmann ...
    Series 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 ... Leer más

    $143.99 USD

  • Hybrid Logic and its Proof-Theory

    de Torben Braüner ...
    Series 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 ... Leer más

    $89.09 USD

  • Combinatorial Algebra: Syntax and Semantics

    de Mark V. Sapir, Victor S. Guba, Mikhail V. Volkov ...
    Series 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 ... Leer más

    $49.49 USD

  • A Missing Link in Cybernetics

    Logic and Continuity

    de Alex M. Andrew ...
    Series 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 ... Leer más

    $89.99 USD

  • Inductive Logic

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

    $247.99 USD

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

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

    $49.99 USD

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

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

    $62.99 USD