The Leading eBooks Store Online

3,788,875 members ⚫ 1,234,658 ebooks

New to

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books

Most popular at the top

  • Strukturtypen der Logikby Matthias Varga von Kibed

    Springer Berlin Heidelberg 2013; US$ 49.05

    Diese Absicht wurde verstärkt durch den äußeren Umstand, daß in zunehmendem Maße Mathematikstudenten der Münchner Universität bei mir Logik als Nebenfach wählten. Da diese Kandidaten meist keine Zeit und Gelegenheit hatten, meine Veranstaltungen zu besuchen, kam der verständliche Wunsch auf, ich möge "etwas Schriftliches verfassen", das man mit nach... more...

  • Constructive Analysisby E. Bishop; Douglas S. Bridges

    Springer Berlin Heidelberg 2012; US$ 84.91

    This work grew out of Errett Bishop's fundamental treatise 'Founda­ tions of Constructive Analysis' (FCA), which appeared in 1967 and which contained the bountiful harvest of a remarkably short period of research by its author. Truly, FCA was an exceptional book, not only because of the quantity of original material it contained, but also as a demonstration... more...

  • Metamathematik der Elementarmathematikby E. Engeler

    Springer Berlin Heidelberg 2013; US$ 17.83

    Dieses Buch ist kein Lehrbuch. Doch ist es aus Vorlesungen gewachsen, die ich seit ein paar Jahren an der ETH in ZUrich gehalten habe. Es wendet sich an Studenten der Mathematik mittlerer und oberer Semester, aber weniger mit dem Ziel, diesen mathematische Logik oder Axiomatik beizubringen, als vielmehr, urn in ihnen die kritischen Fahigkeiten gegenUber... more...

  • Mathematical Logicby J.D. Monk

    Springer New York 2012; US$ 53.41

    From the Introduction: "We shall base our discussion on a set-theoretical foundation like that used in developing analysis, or algebra, or topology. We may consider our task as that of giving a mathematical analysis of the basic concepts of logic and mathematics themselves. Thus we treat mathematical and logical practice as given empirical data and... more...

  • Fundamentals of Contemporary Set Theoryby K. J. Devlin

    Springer New York 2012; US$ 74.30

    This book is intended to provide an account of those parts of contemporary set theory which are of direct relevance to other areas of pure mathematics. The intended reader is either an advanced level undergraduate, or a beginning graduate student in mathematics, or else an accomplished mathematician who desires or needs a familiarity with modern set... more...

  • Introduction to Mathematical Logicby Jerome Malitz

    Springer New York 2012; US$ 74.30

    This book is intended as an undergraduate senior level or beginning graduate level text for mathematical logic. There are virtually no prere­ quisites, although a familiarity with notions encountered in a beginning course in abstract algebra such as groups, rings, and fields will be useful in providing some motivation for the topics in Part III. An... more...

  • Aufzählbarkeit Entscheidbarkeit Berechenbarkeitby Hans Hermes

    Springer Berlin Heidelberg 2013; US$ 17.83


  • Einführung in die operative Logik und Mathematikby Paul Lorenzen

    Springer Berlin Heidelberg 2013; US$ 38.35

    in die operative Logik und Mathematik Zweite Auflage Springer-Verlag Berlin Heidelberg New York 1969 Paul Lorenzen o. Prof. der Philosophie an der Universitat Erlangen Geschaftsfilhrende Herausgeber: Prof. Dr. B. Eckmann Eidgenossische Technische Hochschule Zurich Prof. Dr. B. L. van cler Waerclen Mathematisches Institut der Universitat ZUrich ISBN... more...

  • Lectures on Boolean Algebrasby Steven Givant; P.R. Halmos

    Springer New York 2012; US$ 74.30

    IN 1959 I lectured on Boolean algebras at the University of Chicago. A mimeographed version of the notes on which the lectures were based circulated for about two years; this volume contains those notes, corrected and revised. Most of the corrections were suggested by Peter Crawley. To judge by his detailed and precise suggestions, he must have read... more...

  • First-Order Logicby Raymond R. Smullyan

    Springer Berlin Heidelberg 2012; US$ 84.91

    Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. We use the term "analytic" to apply to any proof procedure which obeys the subformula principle (we think of such a procedure... more...