» książki » Mathematics - Set Theory
topmenu
 |
Ernst Zermelo - Collected Works/Gesammelte Werke II: Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung,
ISBN: 9783540708551 / Angielski / Twarda / 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 |
 |
Proofs, Categories and Computations. Essays in Honor of Grigori Mints
ISBN: 9781848900127 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Grigori Mints is one the most distinguished proof theorists of our time. He has contributed significantly not only to the subject in general but also to most of its applications. This collection of papers by a number of Mints' colleagues worldwide are both a personal tribute and a testimony to his breadth and importance by dealing with all areas in which Mints has worked: from proof-theoretical reductions through non-classical logics and category theory to automated theorem proving and proof mining, i.e., the extraction of mathematical information from formal proofs. The collection itself is...
Grigori Mints is one the most distinguished proof theorists of our time. He has contributed significantly not only to the subject in general but also ...
|
cena:
135,95 |
 |
Logic Colloquium '02: Lecture Notes in Logic 27
ISBN: 9781568813004 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emp...
|
cena:
401,56 |
 |
Logic Colloquium '02: Lecture Notes in Logic 27
ISBN: 9781568813011 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emp...
|
cena:
225,25 |
 |
Inexhaustibility: A Non-Exhaustive Treatment : Lecture Notes in Logic 16
ISBN: 9781568811758 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept...
Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any...
|
cena:
249,73 |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568811994 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
406,47 |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568812038 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
225,25 |
 |
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
ISBN: 9781568812762 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion...
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamenta...
|
cena:
242,26 |
 |
Model Theory of Fields: Lecture Notes in Logic 5, Second Edition
ISBN: 9781568812816 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.
The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields t...
|
cena:
538,76 |
 |
Logic Colloquium '03: Lecture Notes in Logic 24
ISBN: 9781568812939 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy.
A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials a...
|
cena:
288,92 |
 |
Logic Colloquium '03 : Lecture Notes in Logic 24
ISBN: 9781568812946 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research articles from some of the world's preeminent logicians. It also covers research topics in almost all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Philosophy.
Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research art...
|
cena:
146,88 |
 |
Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, Held October 18-22, 2003, Lecture Notes
ISBN: 9781568812953 / Angielski / Twarda / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories of arithmetic. Other papers address interpretability theory, computable analysis, modal logic, and the history of mathematical logic in Iran. The conference was held in Tehran, Iran, in October 2003, with the expressed purpose of bringing together researchers with connections to Iranian logicians and promoting further research in mathematical logic in Iran.
This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories...
|
cena:
269,33 |
 |
Logic in Tehran : Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26
ISBN: 9781568812960 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on a conference that was held in Tehran, Iran, this collection of papers gives emphasis to model theory and its applications to algebra and formal theories of arithmetic. Other papers address category theory, computability, modal logic, and the history of mathematical logic in Iran.
Based on a conference that was held in Tehran, Iran, this collection of papers gives emphasis to model theory and its applications to algebra and form...
|
cena:
146,88 |
 |
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
ISBN: 9781568812755 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion...
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamenta...
|
cena:
587,73 |
 |
Reverse Mathematics 2001: Lecture Notes in Logic 21
ISBN: 9781568812632 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms...
|
cena:
406,47 |
 |
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
ISBN: 9781568811741 / Angielski / Twarda / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text is concerned with the concept that our mathematical knowledge is inexhaustible. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems.
This text is concerned with the concept that our mathematical knowledge is inexhaustible. Basic material in predicate logic, set theory and recursion ...
|
cena:
514,26 |
 |
Complex Analysis for Math & Engineering 6e
ISBN: 9781449604455 / Angielski / Twarda / 650 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended For The Undergraduate Student Majoring In Mathematics, Physics Or Engineering, The Sixth Edition Of Complex Analysis For Mathematics And Engineering Continues To Provide A Comprehensive, Student-Friendly Presentation Of This Interesting Area Of Mathematics. The Authors Strike A Balance Between The Pure And Applied Aspects Of The Subject, And Present Concepts In A Clear Writing Style That Is Appropriate For Students At The Junior/Senior Level. Through Its Thorough, Accessible Presentation And Numerous Applications, The Sixth Edition Of This Classic Text Allows Students To Work Through...
Intended For The Undergraduate Student Majoring In Mathematics, Physics Or Engineering, The Sixth Edition Of Complex Analysis For Mathematics And Engi...
|
cena:
675,89 |
 |
The Incompleteness Phenomenon
ISBN: 9781568810294 / Angielski / Twarda / 218 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every reasonable mathematical system is intrinsically incomplete. This premise forms the basis of Godel's famous incompleteness theorem.
Designed to be the foundation for a two-term course, this book investigates mathematical logic. The basic premise of mathematical logic is that every ...
|
cena:
303,61 |
 |
Set Theory: The Third Millennium Edition, Revised and Expanded
ISBN: 9783642078996 / Angielski / Miękka / 772 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks and reference books in set theory....The present 'Third Millennium' edition...is a whole new book. In three parts the author offers us what in his view every young set theorist should learn and master....This well-written book promises to influence the next generation of set theorists, much as its predecessor has done." --MATHEMATICAL REVIEWS This monograph covers the recent major advances in various areas of set theory. From the reviews: "One of the classical textbooks a... |
cena:
805,10 |
 |
The Mathematics of Infinity: A Guide to Great Ideas
ISBN: 9781118204481 / Angielski / Twarda / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Presenting an intriguing account of the notions of infinity, The Mathematics of Infinity: A Guide to Great Ideas, Second Edition is an insightful supplement for mathematics courses on set theory at the undergraduate level.
Presenting an intriguing account of the notions of infinity, The Mathematics of Infinity: A Guide to Great Ideas, Second Edition is an insightful supp...
|
cena:
448,64 |
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
