The Leading eBooks Store Online

3,637,813 members ⚫ 1,169,093 ebooks

New to eBooks.com?

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
Logic

Most popular at the top

  • Strukturtypen der Logikby Matthias Varga von Kibed

    Springer Berlin Heidelberg 2013; US$ 139.00

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

  • Metamathematik der Elementarmathematikby E. Engeler

    Springer Berlin Heidelberg 2013; US$ 54.99

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

  • Aufzählbarkeit Entscheidbarkeit Berechenbarkeitby Hans Hermes

    Springer Berlin Heidelberg 2013; US$ 54.99

    more...

  • Fundamentals of Contemporary Set Theoryby K. J. Devlin

    Springer New York 2012; US$ 99.00

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

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

  • Mathematical Logicby J.D. Monk

    Springer New York 2012; US$ 74.95

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

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

    Springer New York 2012; US$ 99.00

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

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

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

    Springer Netherlands 2012; US$ 99.00

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

    more...