» książki » Mathematics - Set Theory
 |
Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory
ISBN: 9789814551397 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller-Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to...
This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel�...
|
cena:
440,80 |
 |
Forcing for Mathematicians
ISBN: 9789814566001 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have renewed interest in this subject. This is the first book aimed at explaining...
Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set t...
|
cena:
264,47 |
 |
Logic, Construction, Computation
ISBN: 9783110324532 / Angielski / Twarda / 542 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive... Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadil... |
cena:
1104,83 |
 |
The Logic of Infinity
ISBN: 9781107678668 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical foundations and popular accounts of logic. Readers will learn of the formal construction of the classical number systems, from the natural numbers to the real numbers and beyond, and see how set theory has...
Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the d...
|
cena:
233,66 |
 |
Proof Theory: Sequent Calculi and Related Formalisms
ISBN: 9781466564664 / Angielski / Twarda / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi for various non-classical logics, from intuitionistic logic to relevance logic, linear logic, and modal logic. In the first chapters, the author emphasizes classical logic and a variety of different sequent calculi for classical and... Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. ... |
cena:
587,73 |
 |
Intuitionistic Set Theory
ISBN: 9781848901407 / Angielski / Miękka / 134 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a tops-theoretic context. In particular, proofs of relative consistency with IST for mathematical assertions have been (implicitly) formulated in topos- or sheaf-theoretic terms, rather than in the framework of...
While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book provi...
|
cena:
84,16 |
 |
A Concrete Introduction to Real Analysis
ISBN: 9781498778138 / Angielski / Twarda / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
612,21 |
 |
The Logic of Infinity
ISBN: 9781107058316 / Angielski / Twarda / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the door to an intricate axiomatic theory of sets which was born in the decades that followed. Written for the motivated novice, this book provides an overview of key ideas in set theory, bridging the gap between technical accounts of mathematical foundations and popular accounts of logic. Readers will learn of the formal construction of the classical number systems, from the natural numbers to the real numbers and beyond, and see how set theory has...
Few mathematical results capture the imagination like Georg Cantor's groundbreaking work on infinity in the late nineteenth century. This opened the d...
|
cena:
651,25 |
 |
Truth and Assertibility
ISBN: 9789814619950 / Angielski / Twarda / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The central novelty is an axiomatic treatment of the concept of assertibility. This provides us with a device that can be used to handle difficulties that have plagued philosophical logic for over a century. Two examples are Frege's formulation of second order logic and Tarski's characterization of truth predicates for formal languages. Both are widely recognized as fundamental advances, but both are also...
The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general ...
|
cena:
396,71 |
 |
60 Worksheets - Find Predecessor and Successor of 1 Digit Numbers: Math Practice Workbook
ISBN: 9781511988322 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 1 digit each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
60 Worksheets - Find Predecessor and Successor of 2 Digit Numbers: Math Practice Workbook
ISBN: 9781511988339 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 2 digits each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
60 Worksheets - Find Predecessor and Successor of 3 Digit Numbers: Math Practice Workbook
ISBN: 9781511988346 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 3 digits each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
60 Worksheets - Find Predecessor and Successor of 4 Digit Numbers: Math Practice Workbook
ISBN: 9781511988353 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 4 digits each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
60 Worksheets - Find Predecessor and Successor of 5 Digit Numbers: Math Practice Workbook
ISBN: 9781511988360 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 5 digits each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
60 Worksheets - Find Predecessor and Successor of 6 Digit Numbers: Math Practice Workbook
ISBN: 9781511988377 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 6 digits each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
60 Worksheets - Find Predecessor and Successor of 8 Digit Numbers: Math Practice Workbook
ISBN: 9781511988384 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 8 digits each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
60 Worksheets - Find Predecessor and Successor of 7 Digit Numbers: Math Practice Workbook
ISBN: 9781511988391 / Angielski / Miękka / 64 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and successors of the given numbers of 7 digits each.
Daily Mathematics Practice 60 Worksheets This series of workbooks contains several maths worksheet for practice. Write both the predecessors and succe...
|
cena:
32,33 |
 |
Naive Set Theory
ISBN: 9781781394670 / Angielski / Twarda / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Halmos begins, "Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is some. This book contains my answer ... with the minimum of philosophical discourse and logical formalism." The mathematician, scientist, or engineer who needs to know the facts of set theory will find this crisp, clear, concise book, by a master expositor, ideal.
Halmos begins, "Every mathematician agrees that every mathematician must know some set theory; the disagreement begins in trying to decide how much is...
|
cena:
81,95 |
 |
Ernst Zermelo - Collected Works/Gesammelte Werke II: Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung,
ISBN: 9783642432316 / Angielski / Miękka / 781 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes. The present Volume II covers Ernst Zermelo s work on the calculus of variations, applied mathematics, and physics.
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. Ho... |
cena:
805,10 |
 |
Forcing, Iterated Ultrapowers, and Turing Degrees
ISBN: 9789814699945 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
367,33 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
