Modern Mathematical Logic: Cambridge Mathematical Textbooks
Autor Joseph Miletien Limba Engleză Hardback – 21 sep 2022
Preț: 394.22 lei
Nou
Puncte Express: 591
Preț estimativ în valută:
75.45€ • 78.37$ • 62.67£
75.45€ • 78.37$ • 62.67£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Livrare express 27 decembrie 24 - 02 ianuarie 25 pentru 173.12 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781108833141
ISBN-10: 1108833144
Pagini: 550
Dimensiuni: 178 x 254 x 29 mm
Greutate: 1.16 kg
Ediția:Nouă
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Mathematical Textbooks
Locul publicării:Cambridge, United Kingdom
ISBN-10: 1108833144
Pagini: 550
Dimensiuni: 178 x 254 x 29 mm
Greutate: 1.16 kg
Ediția:Nouă
Editura: Cambridge University Press
Colecția Cambridge University Press
Seria Cambridge Mathematical Textbooks
Locul publicării:Cambridge, United Kingdom
V-ar putea interesa
-
-27%Preț: 730.38 lei1000.51 lei -
LogicWilfrid HodgesPreț: 69.48 lei -
-20%Preț: 922.26 lei1152.82 lei -
Coherent SystemsKarl Schlechta-27%Preț: 958.03 lei1312.36 lei -
-27%Preț: 1139.11 lei1560.43 lei -
-27%Preț: 1283.00 lei1757.52 lei -
Tame Topology and O-minimal StructuresL. P. D. van den Dries-11%Preț: 452.81 lei508.78 lei -
Stable GroupsF. Wagner-11%Preț: 441.64 lei496.22 lei -
Analysis and LogicC. Ward HensonPreț: 426.93 lei -
Alfred Tarski: Life and LogicAnita Burdman Feferman-14%Preț: 822.75 lei956.69 lei -
-23%Preț: 482.67 lei626.85 lei -
Preț: 304.46 lei -
Pure Inductive LogicJeffrey Paris-14%Preț: 872.85 lei1014.95 lei -
The Logic of InfinityBarnaby Sheppard-14%Preț: 955.94 lei1111.56 lei -
-11%Preț: 476.35 lei535.23 lei -
Logical Foundations of Proof ComplexityStephen Cook-11%Preț: 448.09 lei503.46 lei -
Essays on the Theory of Numbers (Second Edition)Richard DedekindPreț: 74.25 lei -
From Trotsky to Gödel: The Life of Jean van HeijenoortAnita Burdman Feferman-20%Preț: 345.14 lei433.39 lei -
Finite AutomataMark V. Lawson-18%Preț: 715.46 lei872.51 lei -
Mathematical MorphologyJohn Goutsias-19%Preț: 682.50 lei842.59 lei -
Proof-Theoretical CoherenceKosta DosenPreț: 228.11 lei -
Preț: 254.49 lei -
-15%Preț: 415.43 lei488.74 lei
Cuprins
Preface; Acknowledgements; 1. Introduction; 2. Induction and recursion; 3. Propositional logic; 4. First-order logic: languages and structures; 5. Relationships between structures; 6. Implication and compactness; 7. Model theory; 8. Axiomatic set theory; 9. Ordinals, cardinals, and choice; 10. Set-theoretic methods in model theory; 11. Computable sets and functions; 12. Logic, computation, and incompleteness; Appendix: mathematical background; References; Index.
Recenzii
'This is an excellent introduction to mathematical logic for upper-year undergraduate students with some background in theoretical mathematics. The many wonderful examples relate mathematical logic to other areas of mathematics. Beyond the usual setup and culmination with completeness and incompleteness, Mileti gives a strong introduction to set theory, model theory, and computability. Instructors have the flexibility to suit the examples and direction to their students' backgrounds, and curious students will have an excellent reference for topics not covered in their course. Mileti's gentle prose guides the reader from topic to topic, explaining what we are doing, and why.' Barbara F. Csima, University of Waterloo
'This book is a modern introduction to mathematical logic for a new generation of students. Filled to the brim with examples to motivate students and better explain the myriad topics covered, it is more detailed and complete than almost any text on the subject. Yet, amazingly, it is still quite concise and easy to read. Without a doubt, this is bound to be a new classic.' Damir Dzhafarov, University of Connecticut
'Building on its author's substantial experience teaching courses in the field, this book provides a thorough and wide-ranging introduction to mathematical logic. The careful choice of topics and high level of detail, particularly in early sections covering material that is often challenging even for mathematically well-prepared students, will make it suitable both for one-course introductions to the field and for syllabuses aimed at preparing students for graduate-level courses in subfields such as set theory, model theory, computability theory, and proof theory.' Denis Hirschfeldt, University of Chicago
'Mileti's Modern Mathematical Logic is an absorbing, comprehensive, and well-organized textbook. It contains clear-cut and detailed descriptions of the basic ideas and mathematical arguments, a good number of helpful examples and stimulating exercises, and lucid explanations of the modern view of mathematical logic. It is highly recommended for beginners.' Makoto Kikuchi, Kobe University
'This is a great book. I've used drafts to teach mathematical logic many times in the past and students love it. They find that it is very complete, that it doesn't miss any detail, and that it is a great complement to my informal style of teaching.' Antonio Montalbán, University of California, Berkeley
'I enjoyed using early versions of this text. For mathematics students, it was much better than any of the standard texts. It begins with a general mathematical approach to induction, recursion, and generation to develop both syntax and semantics. It then offers a variety of tailored routes through wide swaths of logic using real mathematical examples. I highly recommend it.' Richard A. Shore, Cornell University
'This book gives a great introduction to mathematical logic for an advanced undergraduate or early graduate-level course. From propositional logic and completeness, through the basics of set theory and model theory, to the incompleteness theorem, the author skillfully presents notions and proofs without shying away from technical details. The exercises after each chapter are at the appropriate level, leading students into more in-depth explorations of various directions related to the topic at hand.' Mariya Soskova, University of Wisconsin-Madison
'This is the logic book I would have written if I could write as clearly as Mileti. At last, a complete introduction to the subject from a modern mathematical perspective that proves the incompleteness theorems while also providing a gentle introduction to model theory, set theory, and computability theory along the way.' Henry Towsner, University of Pennsylvania
Mileti has written a careful, rigorous treatment of a broad range of topics in mathematical logic. This is a valuable addition to the literature. Daniel J. Velleman, Amherst College
'This book is a modern introduction to mathematical logic for a new generation of students. Filled to the brim with examples to motivate students and better explain the myriad topics covered, it is more detailed and complete than almost any text on the subject. Yet, amazingly, it is still quite concise and easy to read. Without a doubt, this is bound to be a new classic.' Damir Dzhafarov, University of Connecticut
'Building on its author's substantial experience teaching courses in the field, this book provides a thorough and wide-ranging introduction to mathematical logic. The careful choice of topics and high level of detail, particularly in early sections covering material that is often challenging even for mathematically well-prepared students, will make it suitable both for one-course introductions to the field and for syllabuses aimed at preparing students for graduate-level courses in subfields such as set theory, model theory, computability theory, and proof theory.' Denis Hirschfeldt, University of Chicago
'Mileti's Modern Mathematical Logic is an absorbing, comprehensive, and well-organized textbook. It contains clear-cut and detailed descriptions of the basic ideas and mathematical arguments, a good number of helpful examples and stimulating exercises, and lucid explanations of the modern view of mathematical logic. It is highly recommended for beginners.' Makoto Kikuchi, Kobe University
'This is a great book. I've used drafts to teach mathematical logic many times in the past and students love it. They find that it is very complete, that it doesn't miss any detail, and that it is a great complement to my informal style of teaching.' Antonio Montalbán, University of California, Berkeley
'I enjoyed using early versions of this text. For mathematics students, it was much better than any of the standard texts. It begins with a general mathematical approach to induction, recursion, and generation to develop both syntax and semantics. It then offers a variety of tailored routes through wide swaths of logic using real mathematical examples. I highly recommend it.' Richard A. Shore, Cornell University
'This book gives a great introduction to mathematical logic for an advanced undergraduate or early graduate-level course. From propositional logic and completeness, through the basics of set theory and model theory, to the incompleteness theorem, the author skillfully presents notions and proofs without shying away from technical details. The exercises after each chapter are at the appropriate level, leading students into more in-depth explorations of various directions related to the topic at hand.' Mariya Soskova, University of Wisconsin-Madison
'This is the logic book I would have written if I could write as clearly as Mileti. At last, a complete introduction to the subject from a modern mathematical perspective that proves the incompleteness theorems while also providing a gentle introduction to model theory, set theory, and computability theory along the way.' Henry Towsner, University of Pennsylvania
Mileti has written a careful, rigorous treatment of a broad range of topics in mathematical logic. This is a valuable addition to the literature. Daniel J. Velleman, Amherst College
Notă biografică
Descriere
This textbook gives a comprehensive and modern introduction to mathematical logic at the upper-undergraduate and beginning graduate level.