» książki » Mathematics - Set Theory
topmenu
 |
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:
584,14 |
 |
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:
83,01 |
 |
A Concrete Introduction to Real Analysis
ISBN: 9781498778138 / Angielski / Twarda / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
608,48 |
 |
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:
647,31 |
 |
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:
394,30 |
 |
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:
31,89 |
 |
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:
31,89 |
 |
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:
31,89 |
 |
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:
31,89 |
 |
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:
31,89 |
 |
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:
31,89 |
 |
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:
31,89 |
 |
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:
31,89 |
 |
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:
85,89 |
 |
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:
365,09 |
 |
Circularity: A Common Secret to Paradoxes, Scientific Revolutions and Humor
ISBN: 9789814723671 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into believing the impossible. Alongside mathematical revolutions that eventually led to the invention of the computer, the book describes ancient paradoxes that arise from circular thinking. Another aspect of circularity, its ability to entertain, leads to a surprising insight on the time old question 'What is humor'. The book presents the ubiquity of circularity in many fields, and its power to confuse and to instruct.See...
'Circularity' is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is us...
|
cena:
233,66 |
 |
A Beginner's Further Guide to Mathematical Logic
ISBN: 9789814725729 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on...
This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, con...
|
cena:
97,36 |
 |
A Beginner's Further Guide to Mathematical Logic
ISBN: 9789814730990 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on...
This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, con...
|
cena:
272,60 |
 |
Turbulence from First Principles
ISBN: 9781628084689 / Angielski / Miękka / 102 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
949,17 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
