The Leading eBooks Store Online

3,915,026 members ⚫ 1,276,665 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

  • Constructive Analysisby E. Bishop; Douglas S. Bridges

    Springer Berlin Heidelberg 2012; US$ 89.53

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

  • Strukturtypen der Logikby Matthias Varga von Kibed

    Springer Berlin Heidelberg 2013; US$ 103.46

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

  • Fundamentals of Contemporary Set Theoryby K. J. Devlin

    Springer New York 2012; US$ 78.34

    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$ 78.34

    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$ 40.44


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

    Springer Berlin Heidelberg 2013; US$ 40.44

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

  • Mathematical Logicby J.D. Monk

    Springer New York 2012; US$ 56.31

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

  • Sets and integration An outline of the developmentby D. van Dalen

    Springer Netherlands 2012; US$ 86.18

    The present text resulted from lectures given by the authors at the Rijks Universiteit at Utrecht. These lectures were part of a series on 'History of Contemporary Mathematics'. The need for such an enterprise was generally felt, since the curriculum at many universities is designed to suit an efficient treatment of advanced subjects rather than to... more...

  • Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeitby H. Hermes

    Springer Berlin Heidelberg 2013; US$ 34.79


  • First-Order Logicby Raymond R. Smullyan

    Springer Berlin Heidelberg 2012; US$ 89.53

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