|
|
|
P.R. Halmos (Author)
Download
2011-12-01
Springer Verlag
From the Reviews: "...He (the author) uses the language and notation of ordinary informal mathematics to state the basic set-theoretic facts which a beginnin
|
|
| |
|
|
|
|
|
|
T. S. Blyth (Author)
Download
2005-03-22
Springer Verlag
<P>Lattices and Ordered Algebraic Structures provides a lucid and concise introduction to the basic results concerning the notion of an order. Although as a who
|
|
| |
|
|
|
|
|
|
D. Van Dalen (Author)
Download
2008-09-01
Springer Verlag
New corrected printing of a well-established text on logic at the introductory level.
|
|
| |
|
|
|
|
|
|
Pamela Gorkin (Author) and Ulrich Daepp (Author)
Download
2003-08-07
Springer Verlag
<P>This book, which is based on Pólya's method of problem solving, aids students in their transition from calculus (or precalculus) to higher-level mathematics.
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
M. Ben-Ari (Author)
Download
2011-12-01
Springer Verlag
Mathematics textbook specifically geared towards the topics most important to computer science, featuring theorems and proofs, as well as sound logic. Topics co
|
|
| |
|
|
|
|
|
|
D.L. Johnson (Author)
Download
2001-02-28
Springer Verlag
In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logi
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yiannis N. Moschovakis (Author)
Download
2005-12-21
Springer Verlag
<P>The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. At the same time
|
|
| |
|
|
|
|
|
|
Uwe Schoning (Author)
Download
2008-01-11
Springer Verlag
<P>This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundatio
|
|
| |
|
|
|
|
|
|
Harold M. Edwards (Author)
Download
2004-11-30
Springer Verlag
<P>This book aims to promote constructive mathematics not by defining it or formalizing it but by practicing it. This means that its definitions and proofs use
|
|
| |
|
|
|
|
|
|
Heinz-Dieter Ebbinghaus (Author)
Download
2005-11-14
Springer Verlag
<P>The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and th
|
|
| |
|
|
|
|
|
|
Carl Smith (Author)
Download
2011-12-01
Springer Verlag
The aim of this textbook is to present an account of the theory of computation. After introducing the concept of a model of computation and presenting various e
|
|
| |
|
|
|
|
|
|
Yiannis N. Moschovakis (Author)
Download
2005-12-08
Springer Verlag
<P>The axiomatic theory of sets is a vibrant part of pure mathematics, with its own basic notions, fundamental results, and deep open problems. At the same time
|
|
| |
|
|
|
|
|
|
Heinz-Dieter Ebbinghaus (Author)
Download
1999-10-01
Springer Verlag
The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Stefano Crespi Reghizzi (Author)
Download
2009-01-31
Springer
Whereas many textbooks on formal languages and compilation focus on technological aspects, it is the elegance and simplicity of the underlying 'theory' that all
|
|
| |
|
|
|
|
|
|
Bernd Schroder (Author)
Download
2002-12-06
Springer Verlag
<P>This work is an introduction to the basic tools of the theory of (partially) ordered sets such as visualization via diagrams, subsets, homomorphisms, importa
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
Yves Nievergelt (Author)
Download
2001-11-26
Springer Verlag
This modern introduction to the foundations of logic and mathematics answers many questions that usually remain unanswered: Why is the truth table for logical i
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
Chiswell (Author)
Download
2008-12-16
Springer
The study of formal languages and automata has proved to be a source of much interest and discussion amongst mathematicians in recent times. This book, written
|
|
| |
|
|
|
|
|
|
|
|
|
