Fermilab Fermilab Core Computing Division

Library Home |  Ask a Librarian library@fnal.gov |  Book Catalog |  Library Journals |  Requests |  SPIRES |  Fermilab Documents |

Fermilab Library
SPIRES-BOOKS: FIND KEYWORD MATHEMATICAL LOGIC AND FOUNDATIONS *END*INIT* use /tmp/qspiwww.webspi1/11144.131 QRY 131.225.70.96 . find keyword mathematical logic and foundations ( in books using www Cover
Image
Call number:SPRINGER-2016-9783319387987:ONLINE Show nearby items on shelf
Title:The Congruences of a Finite Lattice A Proof-by-Picture Approach
Author(s): George Grätzer
Date:2016
Edition:2nd ed. 2016
Size:1 online resource (346 p.)
Note:10.1007/978-3-319-38798-7
ISBN:9783319387987
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algebra , Ordered algebraic structures , Mathematical logic , Number theory , Probabilities , Mathematics , Order, Lattices, Ordered Algebraic Structures , Mathematical Logic and Foundations , Probability Theory and Stochastic Processes , Number Theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319318035:ONLINE Show nearby items on shelf
Title:Dependence Logic Theory and Applications
Author(s):
Date:2016
Size:1 online resource (276 p.)
Note:10.1007/978-3-319-31803-5
Contents:Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic -- Väänänen, Grelling on Dependence -- Galliani, On Strongly First-Order Dependencies -- Grädel, Games for Inclusion Logic and Fixed-Point Logic -- Hodge s, Remarks on Compositionality -- Hirvonen, Independence in Model Theory -- Ciardelli, Dependency as Question Entailment -- Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data -- Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures -- Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem -- Blass, Introduction to Secret-Sharing
ISBN:9783319318035
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Logic , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319309675:ONLINE Show nearby items on shelf
Title:Writing Proofs in Analysis
Author(s): Jonathan M Kane
Date:2016
Size:1 online resource (4 p.)
Note:10.1007/978-3-319-30967-5
Contents:What Are Proofs, And Why Do We Write Them? -- The Basics of Proofs -- Limits -- Continuity -- Derivatives -- Riemann Integrals -- Infinite Series -- Sequences of Functions -- Topology of the Real Line -- Metric Spaces
ISBN:9783319309675
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Fourier analysis , Functional analysis , Mathematical logic , Mathematics , Functional Analysis , Fourier Analysis , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319297880:ONLINE Show nearby items on shelf
Title:Ordered Sets An Introduction with Connections from Combinatorics to Topology
Author(s): Bernd Schröder
Date:2016
Edition:2nd ed. 2016
Size:1 online resource (10 p.)
Note:10.1007/978-3-319-29788-0
Contents:Preface -- Basics -- Chains, Antichains, and Fences -- Upper and Lower Bounds -- Retractions -- Constraint Satisfaction Problems -- Graphs and Homomorphisms -- Lexicographic Sums -- Lattices -- Truncated Lattices -- Dimension -- Interval Orders -- Sets P^Q = Hom (Q, P) and Products -- Enumeration of Ordered Sets -- Appendix A: Some Algebraic Topology -- Appendix B: Some Discrete Morse Theory -- References -- Index
ISBN:9783319297880
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Algebra , Ordered algebraic structures , Mathematical logic , Algebraic topology , Combinatorics , Mathematics , Mathematical Logic and Foundations , Order, Lattices, Ordered Algebraic Structures , Combinatorics , Algebraic Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319291987:ONLINE Show nearby items on shelf
Title:Advances in Proof Theory
Author(s):
Date:2016
Size:1 online resource (425 p.)
Note:10.1007/978-3-319-29198-7
ISBN:9783319291987
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Progress in Computer Science and Applied Logic: 28
Keywords: Mathematics , Logic , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319274959:ONLINE Show nearby items on shelf
Title:Trick or Truth? The Mysterious Connection Between Physics and Mathematics
Author(s):
Date:2016
Edition:1st ed. 2016
Size:1 online resource (8 p.)
Note:10.1007/978-3-319-27495-9
Contents:Introduction -- Children of the cosmos (S. Wenmackers) -- Mathematics is Physics (M. S. Leifer) -- My god, it's full of clones: Living in a mathematical universe (M. Séguin) -- Let's consider two spherical chickens (T. Bolognesi) --
The raven and the writing desk (I. Durham) -- The deeper roles of mathematics in physical laws (K. H. Knuth) -- How mathematics meets the world (T. Maudlin) -- Mathematics: intuition's consistency check (K. Wharton) -- How not to
factor a miracle (D. K. Wise) -- The language of nature (D. Garfinkle) -- Demystifying the applicability of mathematics (N. Fillion) -- Why mathematics works so well (N. S. Yanofsky) -- Genesis of a pythagorean universe (A. Burov) --
Beyond math (S. Magnusdottir) -- The descent of math (S. I. Walker) -- The ultimate tactics of self-referential systems (C. C. Dantas) -- Cognitive science and the connection between physics and mathematics (A. Gupta Mujumdar) -- A
metaphorical chart of our mathematical ontology (P. Gibbs).-And the math will set you free (C. Stoica) -- Appendix: List of winners
ISBN:9783319274959
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Physics , Philosophy and science , Mathematical physics , Mathematical logic , Physics , History and Philosophical Foundations of Physics , Philosophy of Science , Mathematical Applications in the Physical Sciences , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319247564:ONLINE Show nearby items on shelf
Title:Modern Logic 1850-1950, East and West
Author(s):
Date:2016
Size:1 online resource (4 p.)
Note:10.1007/978-3-319-24756-4
Contents:Contributors -- Introduction -- Irving H. Anellis: Preface and Prospectus -- Irving H. Anellis and Francine F. Abeles: The Historical Sources of Tree Graphs and the Tree Method in the Work of Peirce and Gentzen -- Jean Paul Van Bendegem: Logic and A rgumentation in Belgium: The Role of Leo Apostel -- Philippe de Rouilhan: Tarski’s Recantation: Reading the Postscript to “Wahrheitsbegriff” -- Jan Woleński: The Paradox of Analyticity and Related Issues -- David DeVidi and Herbert Korté: Naturali zing Natural Deduction -- Alberto Peruzzi: Category Theory and the Search for Universals: A Very Short Guide for Philosophers -- Roman Murawski: On the Way to Modern Logic – The Case of Polish Logic -- Valentin A. Bazhanov: Russian Origins of Non-Classi cal Logics -- Vladik Kreinovich: Constructive Mathematics in St. Petersburg, Russia: A (Somewhat Subjective) View from Within -- Jonathan P. Seldin: On Normalizing Disjunctive Intermediate Logic -- R.E. Hodel: A Natural Axiom System for Boolean
Algebras with Applications.
ISBN:9783319247564
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Logic , History , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Logic , History of Mathematical Sciences
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2016-9783319226866:ONLINE Show nearby items on shelf
Title:Advances in Proof-Theoretic Semantics
Author(s):
Date:2016
Edition:1st ed. 2016
Size:1 online resource (283 p.)
Note:10.1007/978-3-319-22686-6
Contents:Chapter 1. Introduction Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory Kosta Došen -- Chapter 4. Generalised elimination ru les Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question Wilfrid Hodges -- Chapter 7. The mode of presentation Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS Dag Prawitz -- Chapter 9. Unification of logics by reflection Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject Göran Sundholm -- Chapter 11. Compositional semantics for pre dicate logic: Eliminating bound variables from formulas and deductions William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation Gabriele Usberti -- Chapter 13. Explicit composition and its application in
normalization proofs Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoret ic Semantics Yoshihiro Maruyama
ISBN:9783319226866
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 43
Keywords: Philosophy , Logic , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9783319004822:ONLINE Show nearby items on shelf
Title:Leniewski's Systems of Logic and Foundations of Mathematics [electronic resource]
Author(s): Rafal Urbaniak
Date:2014
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:This meticulous critical assessment of the ground-breaking work of philosopher Stanislaw Leniewski focuses exclusively on primary texts and explores the full range of output by one of the master logicians of the Lvov-Warsawschool. The authors nuanced survey eschews secondary commentary, analyzing Leniewski's core philosophical views and evaluating the formulations that were to have such a profound influence on the evolution of mathematical logic. One of the undisputed leaders of the cohort of brillia nt logicians that congregated in Poland in the early twentieth century, Leniewski was a guide and mentor to a generation of celebrated analytical philosophers (Alfred Tarski washis PhD student). His primary achievement was a system of foundational mathema tical logic intended as an alternative to the Principia Mathematica of Alfred North Whitehead and Bertrand Russell. Its three strandsprotothetic,ontology, and mereology, are detailed in discrete sections of this volume, alongside a wealth other chapters g rouped to provide the fullest possible coverage of Leniewskis academic output. With material on his earlyphilosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophys great pioneers
Contents:Chapter 1: Introduction
Chapter 2. Leniewski's early philosophical views
Chapter 3. Leniewski's Protothetic
Chapter 4. Leniewski's Ontology
Chapter 5. Leniewski's Mereology
Chapter 6. Leniewski and definitions
Chapter 7. Sets revisited
Chapter 8. Nominalism and higher
order quantification
ISBN:9783319004822
Series:eBooks
Series:SpringerLink
Series:Trends in Logic, Studia Logica Library, 1572-6126 : v37
Series:Mathematics and Statistics (Springer-11649)
Keywords: Philosophy (General) , Logic , Science Philosophy , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9781493914746:ONLINE Show nearby items on shelf
Title:Alfred Tarski [electronic resource] : Early Work in PolandGeometry and Teaching
Author(s): Andrew McFarland
Joanna McFarland
James T Smith
Date:2014
Publisher:New York, NY : Springer New York : Imprint: Birkhuser
Size:1 online resource
Note:Alfred Tarski (19011983) was a renowned Polish/American mathematician, a giant of the twentieth century, who helped establish the foundations of geometry, set theory, model theory, algebraic logic, and universal algebra.Throughout his career, he taug ht mathematics and logic at universities and sometimes in secondary schools. Many of his writings before 1939 were in Polish and remained inaccessible to most mathematicians and historians until now. Thisself-contained book focuses on Tarskis early contri butions to geometry and mathematics education, including the famous BanachTarski paradoxical decomposition of a sphere as well as high-school mathematical topics and pedagogy.These themes are significant since Tarskis later research on geometry and its fo undations stemmed in part from his early employment as a high-school mathematics teacher and teacher-trainer. The book contains careful translations andmuch newly uncovered social background of these works written during Tarskis years in Poland. Alfred Ta rski: Early Work in PolandGeometry and Teaching serves the mathematical, educational, philosophical, and historicalcommunities by publishing Tarskis early writings in a broadly accessible form, providing background from archival work in Poland, and updati ng Tarskis bibliography
Contents:1 Tarskis first paper
1.1 Introduction
1.2 Item 1 below (nearing completion)
2 Papers on equidecomposibility of polygons
2.1 Introduction
2.2 Item 2 below (nearing completion)
2.3 Item 6 below (old translation, needs redoing)
2.4 Item 8 below (old translation, needs redoing)
2.5 Exercise 31pc in item 11g below
3 Papers related to secondary teaching
3.1 Introduction
3.2 Item 4 below (meeting report)
3.3 Item 7 below (on circles, nearing completion)
3.4 Extract from Item 9 below (textbook)
3.5 Remainder of item 11 below (exercises)
4 Assorted cont
ISBN:9781493914746
Series:eBooks
Series:SpringerLink
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Geometry , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2014-9781461488545:ONLINE Show nearby items on shelf
Title:Set Theory [electronic resource] : With an Introduction to Real Point Sets
Author(s): Abhijit Dasgupta
Date:2014
Publisher:New York, NY : Springer New York : Imprint: Birkhuser
Size:1 online resource
Note:What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by late nineteenth-century mathematicians such as Dedekind and Cantor gave birth to set theory. This textbookpresents classical set theory in an intuitive but concrete manner. To allow flexibility of topic selection in courses, the book is organized into four relatively independent parts with distinct mathematical flavors. Part I begins withthe DedekindPeano axioms and ends with the construction of the real numbers. The core CantorDedekind theory of cardinals, orders, and ordinals appears in Part II. Part III focuses on the real continuum. Finally, foundationalissues and formal axioms are introduced in Part IV. Each part ends with a postscript chapter discussing topics beyond the scope of the main text, ranging from philosophical remarks to glimpses into landmark results of modern set theorysuch as the resolution of Lusin's problems on projective sets using determinacy of infinite ga mes and large cardinals. Separating the metamathematical issues into an optional fourth part at the end makes this textbook suitable forstudents interested in any field of mathematics, not just for those planning to specialize in logic or foundations. The re is enough material in the text for a year-long course at the upper-undergraduate level. For shorter one-semesteror one-quarter courses, a variety of arrangements of topics are possible. The book will be a useful resource for both experts working in a r elevant or adjacent area and beginners wanting to learn set theory via self-study
Contents:1 Preliminaries: Sets, Relations, and Functions
Part I Dedekind: Numbers
2 The DedekindPeano Axioms
3 Dedekinds Theory of the Continuum
4 Postscript I: What Exactly Are the Natural Numbers?
Part II Cantor: Cardinals, Order, and Ordinals
5 Cardinals: Finite, Countable, and Uncountable
6 Cardinal Arithmetic and the Cantor Set
7 Orders and Order Types
8 Dense and Complete Orders
9 Well
Orders and Ordinals
10 Alephs, Cofinality, and the Axiom of Choice
11 Posets, Zorns Lemma, Ranks, and Trees
12 Postscript II: Innitary Combinatorics
Part III Re
ISBN:9781461488545
Series:eBooks
Series:SpringerLink
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Algebra , Global analysis (Mathematics) , Logic, Symbolic and mathematical , Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783319009667:ONLINE Show nearby items on shelf
Title:Mathematics, Computer Science and Logic - A Never Ending Story [electronic resource] : The Bruno Buchberger Festschrift
Author(s): Peter Paule
Date:2013
Publisher:Cham : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of theseconcepts, the essays pla ce strong emphasis on developments still to come. The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria,on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor of the Journal of Symbolic Computation the founder of the Research Institute for Symbolic Computation (RISC)and its chairman from 1987-2000 the founder in 1990 of the Softwar epark Hagenberg, Austria, and since then its director. More than a decade in the making, Mathematics, Computer Science and Logic - A Never Ending Story includes essaysby leading authorities, on such topics as mathematical foundations from the perspective of computer verification a symbolic-computational philosophy and methodology for mathematics the role of logic and algebra in softwareengineering and new directions in the foundations of mathematics. These inspiring essays invite general, mathematically i nterested readers to share state-of-the-art ideas which advance the never ending story of mathematics, computerscience and logic. Mathematics, Computer Science and Logic - A Never Ending Story is edited by Professor Peter Paule, Bruno Buchbergers successo r as director of the Research Institute for Symbolic Computation
Note:Springer eBooks
Contents:Preface
Henk Barendregt: Foundations of Mathematics from the Perspective of Computer Verification
Manfred Broy: On the Role of Logic and Algebra in Software Engineering
Stephen Wolfram: New Directions in the Foundations of Mathematics (2002)
Doron Zeilberger: Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics
ISBN:9783319009667
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Software engineering , Information theory , Algorithms , Computer software , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2013-9783319001197:ONLINE Show nearby items on shelf
Title:Logical Foundations of Mathematics and Computational Complexity [electronic resource] : A Gentle Introduction
Author(s): Pavel Pudlk
Date:2013
Publisher:Heidelberg : Springer International Publishing : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The two main themes of this book, logic and complexity, are both essential for understanding the main problems about the foundations of mathematics. Logical Foundations of Mathematics and Computational Complexity covers a broadspectrum of results in logic and set theory that are relevant to the foundations, as well as the results in computational complexity and the interdisciplinary area of proof complexity. The author presents his ideas on how these areasare connected, what are the most fundamental problems and how they should be approached. In particular, he argues that complexity is as important for foundations as are the more traditional concepts of computability and provability.Emphasis is on explaining the essence of concepts and the ideas of p roofs, rather than presenting precise formal statements and full proofs. Each section starts with concepts and results easily explained, and gradually proceeds to moredifficult ones. The notes after each section present some formal definitions, theorems a nd proofs. Logical Foundations of Mathematics and Computational Complexity is aimed at graduate students of all fields of mathematics who areinterested in logic, complexity and foundations. It will also be of interest for both physicists and philosophers who are curious to learn the basics of logic and complexity theory
Note:Springer eBooks
Contents:Mathematicians world
Language, logic and computations
Set theory
Proofs of impossibility
The complexity of computations
Proof complexity
Consistency, Truth and Existence
References.
ISBN:9783319001197
Series:e-books
Series:SpringerLink (Online service)
Series:Springer Monographs in Mathematics, 1439-7382
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer software , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2012-9783034803793:ONLINE Show nearby items on shelf
Title:Around and Beyond the Square of Opposition [electronic resource]
Author(s): Jean-Yves Bziau
Dale Jacquette
Date:2012
Publisher:Basel : Springer Basel
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The theory of oppositions based on Aristotelian foundations of logic has been pictured in a striking square diagram which can be understood and applied in many different ways having repercussions in various fields: epistemology,linguistics, mathemati cs, sociology, physics. The square can also be generalized in other two-dimensional or multi-dimensional objects extending in breadth and depth the original Aristotelian theory. The square of opposition is a veryattractive theme which has been going throu gh centuries without evaporating. Since 10 years there is a new growing interest for the square due to recent discoveries and challenging interpretations. This book presents a collection ofpreviously unpublished papers by high level specialists of the squ are from all over the world
Note:Springer eBooks
Contents:1 Historical and Critical Aspects of the Square
2 Philosophical Discussions around the Square of Opposition
3 The Square of Opposition and Non
Classical Logics
4 Constructions Generalizing the Square of Opposition
5 Applications of the Square of Opposition
ISBN:9783034803793
Series:e-books
Series:SpringerLink (Online service)
Series:Studies in Universal Logic
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9789400700055:ONLINE Show nearby items on shelf
Title:Dual Tableaux: Foundations, Methodology, Case Studies [electronic resource]
Author(s): Ewa Orlowska
Joanna Goliska Pilarek
Date:2011
Publisher:Dordrecht : Springer Netherlands : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionistic, relevant, and many-valuedlogics) and to various applied theories of computational logic (such as temporal reasoning, spatial reasoning, fuzzy-set-based reasoning, rough-set-based reasoning, order-of magnitude reasoning, reasoning about programs, thresholdlogics, logics of conditional decisions). The di stinguishing feature of most of these applications is that the corresponding dual tableaux are built in a relational language which provides useful means of presentation of the theories.In this way modularity of dual tableaux is ensured. We do not need to develop and implement each dual tableau from scratch, we should only extend the relational core common to many theories with the rules specific for a particulartheory
Note:Springer eBooks
Contents:1. Dual Tableau for Classical First
Order Logic
2. Dual Tableaux for Logics of Classical Algebras of Binary
3. Theories of Point Relations and Relational Model Checking
4. Dual Tableaux for Peirce Algebras
5. Dual Tableaux for Fork Algebras
6. Dual Tableaux for Relational Databases
Part III. Relational Reasoning in Traditional Non
classical Logics
7. Dual Tableaux for Classical Modal Logics
8. Dual Tableaux for Some Logics Based on Intuitionism
9. Dual Tableaux for Relevant Logics
10. Dual Tableaux for Many
valued Logics
Part IV. Relational Reasoning in Logi
ISBN:9789400700055
Series:e-books
Series:SpringerLink (Online service)
Series:Trends in Logic, 1572-6126 : v33
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9788847018365:ONLINE Show nearby items on shelf
Title:Giuseppe Peano between Mathematics and Logic [electronic resource] : Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the FormularioMathematico, Turin (Italy), October 23,2008 / edited by Fulvia Skof
Author(s): Fulvia Skof
Date:2011
Publisher:Milano : Springer Milan
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book contains the papers developing out the presentations given at the International Conference organized by the Torino Academy of Sciences and the Department of Mathematics Giuseppe Peano of the Torino University tocelebrate the 150th anniversa ry of G. Peano's birth - one of the greatest figures in modern mathematics and logic and the most important mathematical logician in Italy - a century after the publication of Formulario Mathematico, agreat attempt to systematise Mathematics in symbolic f orm
Note:Springer eBooks
Contents:Giuseppe Peano and Mathematical Analysis in Italy
Some Contributions of Peano to Analysis in the Light of the Work of Belgian Mathematicians
Peano, his School andNumerical Analysis
Geometric Calculus and Geometry Foundations in Peano
The Formulario between Mathematics and History
Giuseppe Peano: a Revolutionary in Symbolic Logic?
At the Origins of Metalogic
Foundations of Geometry in the School of Peano
ISBN:9788847018365
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Science Philosophy , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9783642128219:ONLINE Show nearby items on shelf
Title:New Structures for Physics [electronic resource]
Author(s): Bob Coecke
Date:2011
Publisher:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This volume provides a series of tutorials on mathematical structures which recently have gained prominence in physics, ranging from quantum foundations, via quantum information, to quantum gravity. These include the theory ofmonoidal categories and corresponding graphical calculi, Girards linear logic, Scott domains, lambda calculus and corresponding logics for typing, topos theory, and more general process structures. Most of these structures are veryprominent in computer science the chapters here are tailored towards an audience of physicists
Note:Springer eBooks
Contents:Part I An ABC on Compositionality
Part II Manifestations of Linearity
Part III More Example Applications
Part IV Informatic Geometry
Part V. Spatio
Temporal Geometry
Part VI Geometry and Topology in Computation
ISBN:9783642128219
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Physics, 0075-8450 : v813
Series:Physics and Astronomy (Springer-11651)
Keywords: Information theory , Algebra , Mathematical physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2011-9780857295378:ONLINE Show nearby items on shelf
Title:The Selected Correspondence of L.E.J. Brouwer [electronic resource]
Author(s): Dirk Dalen
Date:2011
Publisher:London : Springer London
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:L.E.J. Brouwer (1881-1966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters university and faculty correspondence has beenincluded, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwers biography, this book providesinstrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of biographical and scientific information, the latter deals with innovations in topology(Cantor-Schoenflies style and the new topology) and foundations. The topologi cal period in his research is well represented in correspondence with Hilbert, Schoenflies, Poincar, Blumenthal, Lebesgue, Baire, Koebe, and foundationaltopics are discussed in letters exchanged with Weyl, Fraenkel, Heyting, van Dantzig and others. There is also a large part of correspondence on matters related to the interbellum scientific politics. This book will appeal to bothgraduate students and researchers with an interest in topology, the history of mathematics, the foundations of mathematics, phil osophy and general science
Note:Springer eBooks
Contents:Introduction
1900
1910
1911
1920
1921
1930
1931
1940
1941
1950
1951
1965
Appendices
List of Enclosures, Editorial Comments and Editorial
Supplements
Biographical information
List of letters
Abbreviations
Organizations and journals
ISBN:9780857295378
Series:e-books
Series:SpringerLink (Online service)
Series:Sources and Studies in the History of Mathematics and Physical Sciences
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic , Logic, Symbolic and mathematical , Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2010-9781441912213:ONLINE Show nearby items on shelf
Title:A Concise Introduction to Mathematical Logic [electronic resource]
Author(s): Wolfgang Rautenberg
Date:2010
Edition:3
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Traditional logic as a part of philosophy is one of the oldest scientific disciplines and can be traced back to the Stoics and to Aristotle. Mathematical logic, however, is a relatively young discipline and arose from theendeavors of Peano, Frege, an d others to create a logistic foundation for mathematics. It steadily developed during the twentieth century into a broad discipline with several sub-areas and numerous applications in mathematics,informatics, linguistics and philosophy. This book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former. Although the book is intended for use as agraduate text, the first three chapters can easily be read by undergraduates i nterested in mathematical logic. These initial chapters cover the material for an introductory course on mathematical logic, combined with applications offormalization techniques to set theory. Chapter 3 is partly of descriptive nature, providing a view t owards algorithmic decision problems, automated theorem proving, non-standard models including non-standard analysis, and relatedtopics. The remaining chapters contain basic material on logic programming for logicians and computer scientists, model theory , recursion theory, Gdels Incompleteness Theorems, and applications of mathematical logic. Philosophicaland foundational problems of mathematics are discussed throughout the text. Each section of the seven chapters ends with exercises some of which of imp ortance for the text itself. There are hints to most of the exercises in a separatefile Solution Hints to the Exercises which is not part of the book but is available from the authors website
Note:Springer eBooks
Contents:Preface
Introduction
Notation
Propositional Logic
First
Order Logic
Complete Logical Calculi
Foundations of Logical Programming
Elements of Model Theory
Incompleteness and Undecidability
On the Theory of Self
Reference
Bibliography
Index of Terms and Names
Index of Symbols
ISBN:9781441912213
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2009-9781402089268:ONLINE Show nearby items on shelf
Title:Logicism, Intuitionism, and Formalism [electronic resource] : What has Become of Them?
Author(s): Sten Lindstrm
Erik Palmgren
Krister Segerberg
Viggo Stoltenberg-Hansen
Date:2009
Publisher:Dordrecht : Springer Netherlands
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gdel's ber formal unentscheidbare Stze der Principia Mathematica und verwandterSysteme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist andproof-theoretic programme. In this period, there were also lively e xchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s. The purpose of this anthology is to review the programmes inthe foundations of mathematics from the classical period and to assess their possible rele vance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classicalperiod and the disputes that took place between them? To what extent do the classical programmes of logicism, intui tionism and formalism represent options that are still alive today? These questions are addressed in this volume byleading mathematical logicians and philosophers of mathematics. The volume will be of interest primarily to researchers and graduate student s of philosophy, logic, mathematics and theoretical computer science. The material will beaccessible to specialists in these areas and to advanced graduate students in the respective fields
Note:Springer eBooks
Contents:From the contents Preface. Notes On The Contributors. Introduction
I. Logicism And Neo
Logicism
II. Intuitionism And Constructive Mathematics
III. Formalism
Index
ISBN:9781402089268
Series:e-books
Series:SpringerLink (Online service)
Series:Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science : v341
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Genetic epistemology , Logic , Ontology , Linguistics Philosophy , Mathematics_$xHistory , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9781402066689:ONLINE Show nearby items on shelf
Title:Foundations of Generic Optimization [electronic resource] : Volume 2: Applications of Fuzzy Control, Genetic Algorithms and Neural Networks
Author(s): Robert Lowen
Alain Verschoren
Date:2008
Publisher:Dordrecht : Springer Netherlands
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks. This book offersresearchers not only a solid background but also a snapshot of the current state of the art in this field
Note:Springer eBooks
ISBN:9781402066689
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematical Modelling: Theory and Applications, 1386-2960 : v24
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Computational complexity , Genetics Mathematics , Combinatorics , Mathematical optimization
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9780817647636:ONLINE Show nearby items on shelf
Title:Logic for Computer Scientists [electronic resource]
Author(s): Uwe Schning
Date:2008
Publisher:Boston, MA : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computerscience research such as resolution, automated deduction, and logic programming in a rigorous but readable way. The style and scope of the work, rounded out by the inclusion of exercises, make this an excellent textbook for an advancedundergraduate course in logic for compute r scientists. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists. Schning decides to concentrate on computationalissues, and gives us a short book (less than 170 pages) with a tig ht storyline. I found this a nicely written book with many examples and exercises (126 of them). The presentation is natural and easy to follow. This book seemssuitable for a short course, a seminar series, or part of a larger course on Prolog and logic p rogramming, probably at the advanced undergraduate level. SIGACT News Contains examples and 126 interesting exercises which put thestudent in an active reading mode.... Would provide a good university short course introducing computer science students to theorem proving and logic programming. Mathematical Reviews This book concentrates on those aspects ofmathematical logic which have strong connections with different topics in computer science, especially automated deduction, logic programming, program verification and semantics of programming languages.... The numerous exercises andillustrative examples contribute a great extent to a better understanding of different concepts and results. The book can be successfully used as a handbook for an introduct ory course in artificial intelligence. Zentralblatt MATH
Note:Springer eBooks
Contents:Introduction
Propositional Logic
Predicate Logic
Logic Programming
Bibliography
Table of Notations
Index
ISBN:9780817647636
Series:e-books
Series:SpringerLink (Online service)
Series:Progress in Computer Science and Applied Logic (PCS) : v8
Series:Mathematics and Statistics (Springer-11649)
Keywords: Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2008-9780387762777:ONLINE Show nearby items on shelf
Title:A Course on Mathematical Logic [electronic resource]
Author(s): S. M Srivastava
Date:2008
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowingwhat logic is concerned with and who would like to learn Gdels incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like abranch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all thebasic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory,and computability. The main prerequisite for this book is the willingness to work at a reasonable l evel of mathematical rigor and generality. Shashi Mohan Srivastava is a Professor at the Indian Statistical Institute, Kolkata, India.He is also the author of A Course on Borel Sets, GTM 180
Note:Springer eBooks
Contents:Preface
Syntax of first order logic
Semantics of first
order languages
Propositional logic
Proof and metatheorems in first
order logic
Completeness theorem and model theory
Recursive functions and arithmetization of theories
Incompleteness theorems and recursion theory
References
Index
ISBN:9780387762777
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9783764383503:ONLINE Show nearby items on shelf
Title:Labyrinth of Thought [electronic resource] : A History of Set Theory and Its Role in Modern Mathematics
Author(s): Jos Ferreirs
Date:2007
Edition:Second revised edition
Publisher:Basel : Birkhuser Basel
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period 1850-1940. Rather than focusing on the pivotal figure of Georg Cantor, it analyzes hiswork and the emergence of transfinite set theory within the broader context of the rise of modern mathematics. The text has a tripartite structure. Part 1, The Emergence of Sets within Mathematics, surveys the initial motivations for amathematical notion of a set within several b ranches of the discipline (geometry, algebra, algebraic number theory, real and complex analysis), emphasizing the role played by Riemann in fostering acceptance of the set-theoreticapproach. In Part 2, Entering the Labyrinth, attention turns to the earli est theories of sets, their evolution, and their reception by the mathematical community prominent are the epoch-making contributions of Cantor and Dedekind, andthe complex interactions between them. Part 3, In Search of an Axiom System, studies the four- decade period from the discovery of set-theoretic paradoxes to Gdels independence results, an era during which set theory graduallybecame assimilated into mainstream mathematics particular attention is given to the interactions between axiomatic set theor y and modern systems of formal logic, especially the interplay between set theory and type theory. A newEpilogue for this second edition offers further reflections on the foundations of set theory, including the dichotomy conception and the well-known ite rative conception. The author paints on a grand scale. He sees clearly, and hesees whole. The result is a spacious canvas full of intriguing scenes and portraits from the history of set theory, seamlessly juxtaposed to form a fascinating and accurate pict ure of a vast area of modern mathematics. It is amust-have book for anyone who wishes to gain a balanced picture of this history. It is written in clear and elegant language for the learner, w
Note:Springer eBooks
Contents:The Emergence of Sets within Mathematics
Institutional and Intellectual Contexts in German Mathematics, 18001870
A New Fundamental Notion: Riemanns Manifolds
Dedekind and the Set
theoretical Approach to Algebra
The Real Number System
Origins of the Theory of Point
Sets
Entering the Labyrinth
Toward Abstract Set Theory
The Notion of Cardinality and the Continuum Hypothesis
Sets and Maps as a Foundation for Mathematics
The Transfinite Ordinals and Cantors Mature Theory
In Search of an Axiom System
Diffusion, Crisis, and Bifurcation: 1890 to 1914
Logic
ISBN:9783764383503
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Mathematics_$xHistory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9783211499054:ONLINE Show nearby items on shelf
Title:The Strength of Nonstandard Analysis [electronic resource]
Author(s): Imme Berg
Vtor Neves
Date:2007
Publisher:Vienna : Springer Vienna
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Nonstandard Analysis enhances mathematical reasoning by introducing new ways of expression and deduction. Distinguishing between standard and nonstandard mathematical objects, its inventor, the eminent mathematician AbrahamRobinson, settled in 1961 t he centuries-old problem of how to use infinitesimals correctly in analysis. Having also worked as an engineer, he saw not only that his method greatly simplified mathematically proving and teaching, but alsoserved as a powerful tool in modelling, analyzi ng and solving problems in the applied sciences, among others by effective rescaling and by infinitesimal discretizations. This book reflects the progress made in the forty years since theappearance of Robinsons revolutionary book Nonstandard Analysis: in the foundations of mathematics and logic, number theory, statistics and probability, in ordinary, partial and stochastic differential equations and in education.The contributions are clear and essentially self-contained
Note:Springer eBooks
Contents:Foundations: The strength of nonstandard analysis (J. Keisler) The virtue of simplicity (E. Nelson) Analysis of various practices of referring in classical or non standard mathematics (Y. Praire) Stratified analysis?(K. Hrbacek) ERNA at work ( C. Impens/S. Sanders) The Sousa Pinto approach to nonstandard generalised functions (R. F. Hoskins) Neutrices in more dimensions (I. van den Berg)
Number theory: Nonstandard methods for additive and combinatorial number theory. A survey (R. Jin) Nonstandard methods and the Erds
Turn conjecture (S. C. Leth)
Statistics, probability and m
ISBN:9783211499054
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Global analysis (Mathematics) , Differential equations, partial , Mathematics_$xHistory , Logic, Symbolic and mathematical , Number theory , Distribution (Probability theory)
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9780817646035:ONLINE Show nearby items on shelf
Title:The Legacy of Mario Pieri in Geometry and Arithmetic [electronic resource]
Author(s): Elena Anne Marchisotto
James T Smith
Date:2007
Publisher:Boston, MA : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The Italian mathematician Mario Pieri (1860-1913) played an integral part in the research groups of Corrado Segre and Giuseppe Peano, and thus had a significant, yet somewhat underappreciated impact on several branches ofmathematics, particularly on the development of algebraic geometry and the foundations of mathematics in the years around the turn of the 20th century. This book is the first in a series of three volumes that are dedicated tocountering that neglect and comprehensively examining Pieri s life, mathematical work, and influence in such diverse fields as mathematical logic, algebraic geometry, number theory, inversive geometry, vector analysis, anddifferential geometry. The Legacy of Mario Pieri in Geometry and Arithmetic introduces reader s to Pieris career and his studies in foundations, from both historical and modern viewpoints, placing his life and research in context andtracing his influence on his contemporaries as well as more recent mathematicians. The text also provides a glimpse of the Italian academic world of Pieri's time, and its relationship with the developing international mathematicscommunity. Included in this volume are the first English translations, along with analyses, of two of his most important axiomatizationshis po stulates for arithmetic, which Peano judged superior to his own and his foundation ofelementary geometry on the basis of point and sphere, which Alfred Tarski used as a basis for his own system. Combining an engaging exposition, little-known historical in formation, exhaustive references and an excellent index, thistext will be of interest to graduate students, researchers, and historians with a general knowledge of logic and advanced mathematics, and it requires no specialized experience in mathematical l ogic or the foundations of geometry
Note:Springer eBooks
Contents:Preface
Introduction
Overview of Pieri's Research
In the Shadow of Giants
Arithmetic
Elementary Geometry
Pieri's Place in History
ISBN:9780817646035
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Geometry, algebraic , Geometry , Mathematics_$xHistory , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9780817645618:ONLINE Show nearby items on shelf
Title:104 Number Theory Problems [electronic resource] : From the Training of the USA IMO Team
Author(s): Titu Andreescu
Dorin Andrica
Zuming Feng
Date:2007
Publisher:Boston, MA : Birkhuser Boston
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:This challenging problem book by renowned US Olympiad coaches, mathematics teachers, and researchers develops a multitude of problem-solving skills needed to excel in mathematical contests and research in number theory. Offeringinspiration and intell ectual delight, the problems throughout the book encourage students to express their ideas, conjectures, and conclusions in writing. Applying specific techniques and strategies, readers will acquire a solidunderstanding of the fundamental concepts and ide as of number theory. Key features: * Contains problems developed for various mathematical contests, including the International Mathematical Olympiad (IMO) * Builds a bridge betweenordinary high school examples and exercises in number theory and more soph isticated, intricate and abstract concepts and problems * Begins by familiarizing students with typical examples that illustrate central themes, followed bynumerous carefully selected problems and extensive discussions of their solutions * Combines unconv entional and essay-type examples, exercises and problems, many presented in an original fashion * Engages students in creative thinkingand stimulates them to express their comprehension and mastery of the material beyond the classroom 104 Number Theory Pr oblems is a valuable resource for advanced high school students, undergraduates, instructors, and mathematicscoaches preparing to participate in mathematical contests and those contemplating future research in number theory and its related areas
Note:Springer eBooks
Contents:Preface
Acknowledgments
Abbreviations and Notation
Foundations of Number Theory
Introductory Problems
Advanced Problems
Solutions to Introductory Problems
Solutions to Advanced Problems
Glossary
Further Reading
Subject Index
ISBN:9780817645618
Series:e-books
Series:SpringerLink (Online service)
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Sequences (Mathematics) , Logic, Symbolic and mathematical , Number theory
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9780387493862:ONLINE Show nearby items on shelf
Title:Geometry of Quantum Theory [electronic resource]
Author(s): V. S Varadarajan
Date:2007
Edition:Second Edition
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Available for the first time in soft cover, this book is a classic on the foundations of quantum theory. It examines the subject from a point of view that goes back to Heisenberg and Dirac, and whose definitive mathematicalformulation is due to von N eumann. This view, which is essentially geometric and relies on the concept of symmetry, leads most naturally to the fundamental questions that are the basis of all attempts to understand the world of atomicand subatomic particles. The mathematical treatm ent of symmetry in quantum theory is based on the theory of group representations, and this book includes a self-contained treatment of the parts of this theory that are most useful inquantum physics
Note:Springer eBooks
Contents:Preface to the First Edition
Preface to the Second Edition
Introduction
1. Boolean Algebras on a Classical Phase Space
2. Projective Geometries
3. The Logic of a Quantum Mechanical System
4. Logics Associated with Hilbert Spaces
5. Measure Theory on G
Spaces
6. Systems of Imprimitivity
7. Multipliers
8. Kinematics and Dynamics
9. Relativistic Free Particles
Bibliography
Index
ISBN:9780387493862
Series:e-books
Series:SpringerLink (Online service)
Series:Physics and Astronomy (Springer-11651)
Keywords: Mathematical physics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2007-9780387400549:ONLINE Show nearby items on shelf
Title:The Nature of Statistical Evidence [electronic resource]
Author(s): Bill Thompson
Date:2007
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:The purpose of this book is to discuss whether statistical methods make sense. That is a fair question, at the heart of the statistician-client relationship, but put so boldly it may arouse anger. The many books entitledsomething like Foundations of Statistics avoid controversy by merely describing the various methods without explaining why certain conclusions may be drawn from certain data. But we statisticians need a better answer then just shoutinga little louder. To avoid a duel, we prejudge the issue and ask the narrower question: In what sense do statistical methods provide scientific evidence? The present volume begins the task of providing interpretations andexplanations of several theories of statistical evidence. It should be relevant to an yone interested in the logic of experimental science. Have we achieved a true Foundation of Statistics? We have made the link with one widely acceptedview of science and we have explained the senses in which Bayesian statistics and p-values allow us to dr aw conclusions. Bill Thompson is Professor emeritus of Statistics at the University of Missouri-Columbia. He has had practicalaffiliations with the National Bureau of Standards, E.I. Dupont, the U.S. Army Air Defense Board, and Oak Ridge National Laborato ries. He is a fellow of the American Statistical Association and has served as associate editor of thejournal of that society. He has authored the book Applied Probability
Note:Springer eBooks
Contents:Mathematics and its Applications
The Evolution of Natural Scientists and their Theories
Law and Learning
Introduction to Probability
The Fair Betting Utility Interpretation of Probability
Attitudes toward Chance
A Framework for Statistics
A Critique of Bayesian Inference
The Long Run Consequence of Behavior
A Critique of P
Values
The Nature of Statistical Evidence
The Science of Statistics
Comparison of Evidential Theories
ISBN:9780387400549
Series:e-books
Series:SpringerLink (Online service)
Series:Lecture Notes in Statistics, 0930-0325 : v189
Series:Mathematics and Statistics (Springer-11649)
Keywords: Statistics , Mathematical statistics
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2006-9780387342412:ONLINE Show nearby items on shelf
Title:A Concise Introduction to Mathematical Logic [electronic resource]
Author(s): Wolfgang Rautenberg
Date:2006
Edition:2
Publisher:New York, NY : Springer New York
Size:1 online resource
Note:Springer e-book platform
Note:Springer 2013 e-book collections
Note:Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create alogistic foundation for m athematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguistics and philosophy. While there arealready several well-known textbooks on mathematical logic, this book is unique in that it is more concise than most others the material is treated in a streamlined fashion. This allows the lecturer to select the material for aone-semester course on a topic more easily. Although the book is intended for us e as a graduate text, the first three chapters could be understood by undergraduates interested in mathematical logic. These initial chapters cover justthe material for an introductory course on mathematical logic combined with the necessary material from set theory. Chapter 3 is partly of a descriptive nature, providing a view towards decision problems, automated theorem proving,non-standard models and related subjects. The other chapters contain material on logic programming for computer scientists, mod el theory, recursion theory, Gdel's Incompleteness Theorems, and applications of mathematical logic.Philosophical and foundational problems of mathematics are discussed where appropriate. The author has provided exercises for each section, as well as hint s or even complete solutions to most exercises at the end of the book. From theforeword, written by Lev Beklemishev: a well-written introduction to this beautiful and coherent subject. It contains classical material such as logical calculi, beginnings of model theory, and Gdels incompleteness theorems,as well as some topics motivated by applications, such as a chapter on logic programming. The author has taken great care to make the expositi
Note:Springer eBooks
Contents:Foreword
Preface
Introduction
Notation
Propositional Logic
Predicate Logic
Gdels Completeness Theorem
The Foundations of Logic Programming
Elements of Model Theory
Incompleteness and Undecidability
On the Theory of Self
Reference
Hints to the Exercises
Literature
Index of Terms and Names
Index of Symbols
ISBN:9780387342412
Series:e-books
Series:SpringerLink (Online service)
Series:Universitext
Series:Mathematics and Statistics (Springer-11649)
Keywords: Mathematics , Computer science , Logic, Symbolic and mathematical
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9789401705264:ONLINE Show nearby items on shelf
Title:Reasoning in Quantum Theory Sharp and Unsharp Quantum Logics
Author(s): M. Dalla Chiara
Date:2004
Size:1 online resource (298 p.)
Note:10.1007/978-94-017-0526-4
Contents:I Mathematical and Physical Background -- 1. The mathematical scenario of quantum theory and von Neumann’s axiomatization -- 2. Abstract axiomatic foundations of sharp QT -- 3. Back to Hilbert space -- 4. The emergence of fuzzy events
in Hilbert space quantum theory -- 5. Effect algebras and quantum MV algebras -- 6. Abstract axiomatic foundations of unsharp quantum theory -- 7. To what extent is quantum ambiguity ambiguous? -- II Quantum Logics as Logic -- 8. Sharp
quantum logics -- 9. Metalogical properties and anomalies of quantum logic -- 10. An axiomatization of OL and OQL -- 11. The metalogical intractability of orthomodularity -- 12. First-order quantum logics and quantum set theories --
13. Partial classical logic, the Lindenbaum property and the hidden variable problem -- 14. Unsharp quantum logics -- 15. The Brouwer Zadeh logics -- 16. Partial quantum logics and ?ukasiewicz’ quantum logic -- 17. Quantum
computational logic -- Conclusions -- Synoptic tables -- Index of Symbols -- Index of Names
ISBN:9789401705264
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 22
Keywords: Mathematics , Philosophy and science , Algebra , Ordered algebraic structures , Mathematical logic , Quantum physics , Mathematics , Order, Lattices, Ordered Algebraic Structures , Quantum Physics , Mathematical Logic and Foundations , Philosophy of Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783662089989:ONLINE Show nearby items on shelf
Title:Nonstandard Analysis, Axiomatically
Author(s): Vladimir Kanovei
Date:2004
Size:1 online resource (410 p.)
Note:10.1007/978-3-662-08998-9
Contents:1 Getting started -- 2 Elementary real analysis in the nonstandard universe -- 3 Theories of internal sets -- 4 Metamathematics of internal theories -- 5 Definable external sets and metamathematics of HST -- 6 Partially saturated
universes and the Power Set problem -- 7 Forcing extensions of the nonstandard universe -- 8 Other nonstandard theories -- 9 “Hyperfinite” descriptive set theory -- References
ISBN:9783662089989
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematical analysis , Analysis (Mathematics) , Mathematical logic , Mathematics , Analysis , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783642593093:ONLINE Show nearby items on shelf
Title:Theory of Sets
Author(s): Nicolas Bourbaki
Date:2004
Size:1 online resource (414 p.)
Note:10.1007/978-3-642-59309-3
Contents:I. Description of Formal Mathematics -- § 1. Terms and relations -- § 2. Theorems -- § 3. Logical theories -- § 4. Quantified theories -- § 5. Equalitarian theories -- Appendix. Characterization of terms and relations -- Exercises for
§ 1 -- Exercises for § 2 -- Exercises for § 3 -- Exercises for § 4 -- Exercises for § 5 -- Exercises for the Appendix -- II. Theory of Sets -- § 1. Collectivizing relations -- § 2. Ordered pairs -- § 3. Correspondences -- § 4. Union
and intersection of a family of sets -- § 5. Product of a family of sets -- § 6. Equivalence relations -- Exercises for § 1 -- Exercises for § 2 -- Exercises for § 3 -- Exercises for § 4 -- Exercises for § 5 -- Exercises for § 6 --
III. Ordered Sets, Cardinals, Integers -- § 1. Order relations. Ordered sets -- § 2. Well-ordered sets -- § 3. Equipotent sets. Cardinals -- § 4. Natural integers. Finite sets -- § 5. Properties of integers -- § 6. Infinite sets -- §
7. Inverse limits and direct limits -- Exercises for § 1 -- Exercises for § 2 -- Exercises for § 3 -- Exercises for § 4 -- Exercises for § 5 -- Exercises for § 6 -- Exercises for § 7 -- Historical Note on § 5 -- IV. Structures -- § 1.
Structures and isomorphisms -- § 2. Morphisms and derived structures -- § 3. Universal mappings -- Exercises for § 1 -- Exercises for § 2 -- Exercises for § 3 -- Historical Note on Chapters I-IV -- Summary of Results -- § 1. Elements
and subsets of a set -- § 2. Functions -- § 3. Products of sets -- § 4. Union, intersection, product of a family of sets -- § 5. Equivalence relations and quotient sets -- § 6. Ordered sets -- § 7. Powers. Countable sets -- § 8. Scales
of sets. Structures -- Index of notation -- Index of terminology -- Axioms and schemes of the theory of sets
ISBN:9783642593093
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783540851080:ONLINE Show nearby items on shelf
Title:Logic and Structure
Author(s): Dirk van Dalen
Date:2004
Size:1 online resource (267 p.)
Note:10.1007/978-3-540-85108-0
Contents:Propositional Logic -- Predicate Logic -- Completeness and Applications -- Second Order Logic -- Intuitionistic Logic -- Normalisation -- Gödel’s theorem
ISBN:9783540851080
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9783540445081:ONLINE Show nearby items on shelf
Title:Topics in Orbit Equivalence
Author(s): Alexander S Kechris
Date:2004
Size:1 online resource (138 p.)
Note:10.1007/b99421
Contents:Preface -- I. Orbit Equivalence -- II. Amenability and Hyperfiniteness -- III. Costs of Equivalence Relations and Groups -- References -- Index
ISBN:9783540445081
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Lecture Notes in Mathematics: 1852
Keywords: Mathematics , Mathematical analysis , Analysis (Mathematics) , Harmonic analysis , Dynamics , Ergodic theory , Functions of real variables , Mathematical logic , Topology , Mathematics , Analysis , Mathematical Logic and Foundations , Real Functions , Dynamical Systems and Ergodic Theory , Abstract Harmonic Analysis , Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781475738148:ONLINE Show nearby items on shelf
Title:A Beginner’s Guide to Finite Mathematics For Business, Management, and the Social Sciences
Author(s): W. D Wallis
Date:2004
Size:1 online resource (355 p.)
Note:10.1007/978-1-4757-3814-8
Contents:1 Numbers and Sets -- 2 Counting -- 3 Probability -- 4 Graph Theory -- 5 Matrices -- 6 Linear Programming -- Your Turn Solutions -- Answers to Exercises A
ISBN:9781475738148
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Applied mathematics , Engineering mathematics , Game theory , Mathematical logic , Combinatorics , Statistics , Mathematics , Mathematical Logic and Foundations , Discrete Mathematics in Computer Science , Applications of Mathematics , Game Theory, Economics, Social and Behav. Sciences , Combinatorics , Statistical Theory and Methods
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781441989772:ONLINE Show nearby items on shelf
Title:Fuzzy Logic in Management
Author(s): Christer Carlsson
Date:2004
Size:1 online resource (276 p.)
Note:10.1007/978-1-4419-8977-2
Contents:1. Management And Intelligent Support Technologies -- 1 Management -- 2 Decision Support Systems -- 3 Hyper Knowledge - a Brief Summary of Experiences -- 4 New Information Technology, Intelligent Systems and Soft Computing -- 5 Some
Lessons for Future DSS -- 2. Fuzzy Sets And Fuzzy Logic -- 1 Fuzzy Sets -- 2 Averaging operators -- 3. Group Decision Support Systems -- 1 The Arrow Impossibility Theorem: From Classical to Fuzzy Approaches -- 2 Consensus Modeling in
GDM -- 3 A Soft Degree of Consensus Based on Fuzzy Logic with Linguistic Quantifiers -- 4 An Interactive System for Consensus Reaching -- 5 The OCA Approach to Multicriteria Multiperson Consensus Modeling -- 6 Quality Evaluation of
Elderly Persons' Homes Using Fuzzy Quantifiers -- 7 A Decision Support System for Strategic Planning Through Scenarios -- 8 An Artificial Neural Network Evaluator for Mortgage Loan Applications -- 9 A Linguistic Approach to Personnel
Evaluation -- 10 An Application to Environmental Policies -- 4. Fuzzy Real Options For Strategic Planning -- 1 A Fuzzy Approach to Real Option Valuation -- 2 Nordic Telekom Inc. -- 3 Summary -- 5. A Fuzzy Approach To Reducing The
Bullwhip Effect -- 1 The Bullwhip Effect, Some Additional Details -- 2 Fuzzy Approaches to Demand Signal Processing -- 3 A Hybrid Soft Computing Platform for Taming the Bullwhip Effect -- 4 Summary -- 6. Knowledge Management -- 1
Introduction -- 2 The Current Stage of Knowledge Management Research -- 3 Knowledge Management: A Conceptual Framework -- 4 Knowledge Management Strategies -- 5 Knowledge Management Projects -- 6 Research in Knowledge Management — Some
Methodology Issues -- 7 IT-Solutions to Support Knowledge Management -- 7. Mobile Technology Applications -- 1 Introduction -- 2 Consumer Survey in Finland -- 3 An Expert Survey in Finland -- 4 Acceptance of Mobile Commerce in Finland,
Hong Kong and Singapore -- 5 Mobile Commerce Products and Services
ISBN:9781441989772
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:International Series in Operations Research & Management Science: 66
Keywords: Mathematics , Management , Industrial management , Operations research , Decision making , Artificial intelligence , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Management , Operation Research/Decision Theory , Artificial Intelligence (incl. Robotics) , Innovation/Technology Management
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781402029387:ONLINE Show nearby items on shelf
Title:Logic Functions and Equations Binary Models for Computer Science
Author(s): Christian Posthoff
Date:2004
Size:1 online resource (392 p.)
Note:10.1007/978-1-4020-2938-7
Contents:I. Theoretical Foundations -- 1. Basic Algebraic Structures -- 2. Logic Functions -- 4. Boolean Differential Calculus -- 5. The Solution of Logic Equations -- II. Applications -- 6. Logics and Arithmetics -- 7. Combinational Circuits
-- 8. Finite-State Machines -- III. Tools -- 9. Xboole
ISBN:9781402029387
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Logic design , Computer logic , Computer science , Mathematical logic , Electrical engineering , Mathematics , Mathematical Logic and Foundations , Electrical Engineering , Logic Design , Mathematics of Computing , Logics and Meanings of Programs , Discrete Mathematics in Computer Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781402027765:ONLINE Show nearby items on shelf
Title:Classical and New Paradigms of Computation and their Complexity Hierarchies Papers of the conference “Foundations of the Formal Sciences III”
Author(s):
Date:2004
Size:1 online resource (260 p.)
Note:10.1007/978-1-4020-2776-5
Contents:Complexity hierarchies derived from reduction functions -- Quantum query algorithms and lower bounds -- Algebras of minimal rank: overview and recent developments -- Recent developments in iterated forcing theory -- Classification
problems in algebra and topology -- Using easy optimization problems to solve hard ones -- On Sacks forcing and the Sacks property -- Supertask computation -- A refinement of Jensen's constructible hierarchy -- Effective Hausdorff
dimension -- Axiomatizability of algebras of binary relations -- Forcing axioms and projective sets of reals -- Post's and other problems of supertasks of higher type
ISBN:9781402027765
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic : 23
Keywords: Computer science , Computers , Computer science , Algorithms , Mathematical logic , Computer Science , Computer Science, general , Theory of Computation , Mathematical Logic and Foundations , Math Applications in Computer Science , Mathematics of Computing , Algorithms
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9781402026539:ONLINE Show nearby items on shelf
Title:Automated Model Building
Author(s): Ricardo Caferra
Date:2004
Size:1 online resource (341 p.)
Note:10.1007/978-1-4020-2653-9
Contents:1. Introduction -- 2. Preliminaries -- 3. Resolution-Based Methods -- 4. Constraint-Based Methods -- 5. Model Representation and Evaluation -- 6. Finite Model Building -- 7. Conclusion -- Notation Index -- References
ISBN:9781402026539
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 31
Keywords: Philosophy , Logic , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2004-9780306486364:ONLINE Show nearby items on shelf
Title:Computing System Reliability Models and Analysis
Author(s): Min Xie
Date:2004
Size:1 online resource (293 p.)
Note:10.1007/b100619
Contents:Basic Reliability Concepts and Analysis -- Models for Hardware System Reliability -- Models for Software Reliability -- Models for Integrated Systems -- Availability and Reliability of Distributed Computing Systems -- Reliability of
Grid Computing Systems -- Multi-state System Reliability -- Optimal System Design and Resource Allocation
ISBN:9780306486364
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Microprocessors , Software engineering , Mathematical models , Mathematical logic , Mathematics , Mathematical Modeling and Industrial Mathematics , Computer Science, general , Processor Architectures , Mathematical Logic and Foundations , Software Engineering/Programming and Operating Systems
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789401735988:ONLINE Show nearby items on shelf
Title:Trends in Logic 50 Years of Studia Logica
Author(s):
Date:2003
Size:1 online resource (384 p.)
Note:10.1007/978-94-017-3598-8
Contents:50 Years of Studia Logica: Editorial Introduction -- Polish Logic in Postwar Period -- Fifty Years: Changes and Constants in Logic -- Generalized Matrices in Abstract Algebraic Logic -- Intensional Logic — Beyond First Order --
Questions of Canonicity -- ?ukasiewicz Logic and Chang’s MV Algebras in Action -- Substructural Logics and Residuated Lattices — an Introduction -- Quantum Computational Logics: A Survey -- Inconsistent Arithmetics: Issues Technical
and Philosophical -- Inconsistency-tolerant Description Logic: Motivation and Basic Systems -- Type Logics in Grammar
ISBN:9789401735988
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 21
Keywords: Philosophy , Logic , Coding theory , Mathematical logic , Philosophy , Logic , Coding and Information Theory , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789401703956:ONLINE Show nearby items on shelf
Title:Foundations of the Formal Sciences II Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference held in Bonn, November 10–13, 2000
Author(s):
Date:2003
Size:1 online resource (302 p.)
Note:10.1007/978-94-017-0395-6
Contents:The Diversity of Models in Statistical Mechanics: Views about the Structure of Scientific Theories -- Mathematical Logic and Natural Language: Life at the border -- Bayesian Networks in Philosophy. -- An Application of Circular
Definitions: Rational Decision -- Two-Dimensionalism and the Metaphysical Possibility of Zombies -- Topics in Reverse Mathematics -- The Logic of Intensional Predicates -- The So-Called Materially Valid Inferences and the Logic of
Concepts. -- Analysis and Design from a Viewpoint of Information Flow -- Features in Phonological Theory -- New Semantics for Modal Predicate Logics. -- What is Input/Output Logic? -- The Gupta-Belnap Fixed-Point Problem and the Theory
of Clones of Functions -- Situated Reasoning in Time about Time -- Generic Ontology of Linguistic Classification -- Techniques and Methods of Science from a Structuralist Point of View -- Proof Theory and Formal Grammars: Applications
of Normalization -- World Travelling and Mood Swings -- Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism -- References
ISBN:9789401703956
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 17
Keywords: Philosophy , Logic , Philosophy and science , Linguistics , Philosophy , Logic , Theoretical Linguistics , Philosophy of Science
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789401703833:ONLINE Show nearby items on shelf
Title:Semirings and Affine Equations over Them: Theory and Applications
Author(s): Jonathan S Golan
Date:2003
Size:1 online resource (241 p.)
Note:10.1007/978-94-017-0383-3
Contents:1: Semirings -- 2: Partially-Ordered Semirings -- 3: Complete Semirings -- 4: Residuated Semirings -- 5: Matrix Semirings -- 6: Symmetric Extension of a Semiring -- 7: Semimodules -- 8: Homomorphisms between Semimodules -- 9: Affine
Maps between Semimodules -- 10: Partially-ordered Semimodules -- 11: Eigenelements -- 12: Permanents and Determinants -- Index of Applications -- Index of Terminology
ISBN:9789401703833
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Mathematics and Its Applications : 556
Keywords: Mathematics , Computer science , Associative rings , Rings (Algebra) , Mathematical models , Mathematical logic , Calculus of variations , Mathematics , Associative Rings and Algebras , Discrete Mathematics in Computer Science , Mathematical Modeling and Industrial Mathematics , Calculus of Variations and Optimal Control Optimization , Mathematical Logic and Foundations
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789401702539:ONLINE Show nearby items on shelf
Title:Thirty Five Years of Automating Mathematics
Author(s):
Date:2003
Size:1 online resource (320 p.)
Note:10.1007/978-94-017-0253-9
Contents:A Mathematical Model for Biological Memory and Consciousness -- Towards an Interactive Mathematical Proof Mode -- Recent Results in Type Theory and their Relationship to Automath -- Linear Contexts, Sharing Functors: Techniques for
Symbolic Computation -- De Bruijn’s Automath and Pure Type Systems -- Hoare Logic with Explicit Contexts -- Transitive Closure and the Mechanization of Mathematics -- Polymorphic Type-checking for the Ramified Theory of Types of
Principia Mathematica -- Termination in ACL2 using Multiset Relations -- The ?-Calculus in FM -- Proof Development with ?mega: The Irrationality of % MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn %
hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaOaaaeaaca %
aIYaaaleqaaaaa!36CB!]]
ISBN:9789401702539
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Applied Logic Series: 28
Keywords: Mathematics , Computer science , Mathematical logic , Mathematical optimization , Mathematics , Mathematical Logic and Foundations , Mathematics of Computing , Optimization , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789401702317:ONLINE Show nearby items on shelf
Title:Topological and Algebraic Structures in Fuzzy Sets A Handbook of Recent Developments in the Mathematics of Fuzzy Sets
Author(s):
Date:2003
Size:1 online resource (470 p.)
Note:10.1007/978-94-017-0231-7
Contents:1: Uniform Completion In Pointfree Topology -- 2: Monadic Convergence Structures -- 3: A Unified Approach To The Concept Of Fuzzy L-Uniform Space -- 4: Many Valued Topologies And Borel Probability Measures -- 5: Fuzzy Reals:
Topological Results Surveyed, Brouwer Fixed Point Theorem, Open Questions -- 6: Lattice-Valued Frames, Functor Categories, And Classes of Sober Spaces -- Appendix to Chapter 6: Weakening The Requirement That L Be A Complete Chain -- 7:
Axiomatic Foundations For Uniform Operator Quasi-Uniformities -- 8: Fully Fuzzy Topology -- 9: Fuzzy Logics Arising From Strict De Morgan Systems -- 10: Structure Of Girard Monoids on [0,1] -- 11: On The Geometry Of Choice -- 12: On
Some Fuzzy Categories Related To Category L-TOP Of L-Topological Spaces -- 13: Fuzzy Compactness Via Categorical Closure Operators -- 14: Discrete Triangular Norms -- 15: Powerset Operators Based Approach To Fuzzy Topologies On Fuzzy
Sets -- 16: Lifting Of Sobriety Concepts With Particular Reference To (L, M)-Topological Spaces -- 17: Examples For Different Sobrieties In Fixed-Basis Topology -- 18: Additive Generators Of Non-Continuous Triangular Norms -- 19:
Groups, T-Norms, And Families Of De Morgan Systems
ISBN:9789401702317
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 20
Keywords: Mathematics , Logic , Group theory , Algebra , Ordered algebraic structures , Geometry , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Geometry , Order, Lattices, Ordered Algebraic Structures , Group Theory and Generalizations , Logic
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9789400708129:ONLINE Show nearby items on shelf
Title:A Guide to Classical and Modern Model Theory
Author(s): Annalisa Marcja
Date:2003
Size:1 online resource (371 p.)
Note:10.1007/978-94-007-0812-9
Contents:Structures -- 1.1 Structures -- 1.2 Sentences -- 1.3 Embeddings -- 1.4 The Compactness Theorem -- 1.5 Elementary classes and theories -- 1.6 Complete theories -- 1.7 Definable sets -- 1.8 References -- Quantifier Elimination -- 2.1
Elimination sets -- 2.2 Discrete linear orders -- 2.3 Dense linear orders -- 2.4 Algebraically closed fields (and Tarski) -- 2.5 Tarski again: Real closed fields -- 2.6 pp-elimination of quantifiers and modules -- 2.7 Strongly minimal
theories -- 2.8 o-minimal theories -- 2.9 Computational aspects of q. e -- 2.10 References -- Model Completeness -- 3.1 An introduction -- 3.2 Abraham Robinson’s test -- 3.3 Model completeness and Algebra -- 3.4 p-adic fields and
Artin’s Conjecture -- 3.5 Existentially closed structures -- 3.6 DCF0 -- 3.7 SCFp and DCFp -- 3.8 ACFA -- 3.9 References -- Elimination of imaginaries -- 4.1 Interpretability -- 4.2 Imaginary elements -- 4.3 Algebraically closed fields
-- 4.4 Real closed fields -- 4.5 The elimination of imaginaries sometimes fails -- 4.6 References -- Morley rank -- 5.1 A tale of two chapters -- 5.2 Definable sets -- 5.3 Types -- 5.4 Saturated models -- 5.5 A parenthesis: pure
injective modules -- 5.6 Omitting types -- 5.7 The Morley rank, at last -- 5.8 Strongly minimal sets -- 5.9 Algebraic closure and definable closure -- 5.10 References -- ? -stability -- 6.1 Totally transcendental theories -- 6.2
?-stable groups -- 6.3 ?-stable fields -- 6.4 Prime models -- 6.5 DCF0 revisited -- 6.6 Ryll-Nardzewski’s Theorem, and other things -- 6.7 References -- Classifying -- 7.1 Shelah’s Classification Theory -- 7.2 Simple theories -- 7.3
Stable theories -- 7.4 Superstable theories -- 7.5 ?-stable theories -- 7.6 Classifiable theories -- 7.7 Shelah’s Uniqueness Theorem -- 7.8 Morley’s Theorem -- 7.9 Biinterpretability and Zilber Conjecture -- 7.10 Two algebraic examples
-- 7.11 References -- Model Theory and Algebraic Geometry -- 8.1 Introduction -- 8.2 Algebraic varieties, ideals, types -- 8.3 Dimension and Morley rank -- 8.4 Morphisms and definable functions -- 8.5 Manifolds -- 8.6 Algebraic groups
-- 8.7 The Mordell-Lang Conjecture -- 8.8 References -- O-minimality -- 9.1 Introduction -- 9.2 The Monotonicity Theorem -- 9.3 Cells -- 9.4 Cell decomposition and other theorems -- 9.5 Their proofs -- 9.6 Definable groups in o-minimal
structures -- 9.7 O-minimality and Real Analysis -- 9.8 Variants on the o-minimal theme -- 9.9 No rose without thorns -- 9.10 References
ISBN:9789400708129
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Series:Trends in Logic, Studia Logica Library: 19
Keywords: Philosophy , Logic , Algebra , Mathematical logic , Philosophy , Logic , Mathematical Logic and Foundations , Algebra
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783642558269:ONLINE Show nearby items on shelf
Title:Computer Algebra Handbook Foundations · Applications · Systems
Author(s):
Date:2003
Size:1 online resource (637 p.)
Note:10.1007/978-3-642-55826-9
Contents:1 Development, Characterization, Prospects -- 1.1 Historical Remarks -- 1.2 General Characterization -- 1.3 Impact on Education -- 1.4 Impact on Research -- 1.5 Computer Algebra — Today and Tomorrow -- 2 Topics of Computer Algebra --
2.1 Exact Arithmetic -- 2.2 Algorithms for Polynomials and Power Series -- 2.3 Linear Algebra -- 2.4 Constructive Methods of Number Theory -- 2.5 Algorithms of Commutative Algebra and Algebraic Geometry -- 2.6 Algorithmic Aspects of
the Theory of Algebras -- 2.7 Computational Group Theory -- 2.8 Algorithms of Representation Theory -- 2.9 Algebraic Methods for Constructing Discrete Structures -- 2.10 Summation and Integration -- 2.11 Symbohc Methods for
DiflFerential Equations -- 2.12 Symbolic/Numeric Methods -- 2.13 Algebraic Complexity Theory -- 2.14 Coding Theory and Cryptography -- 2.15 Algorithmic Methods inUniversal Algebra and Logic -- 2.16 Knowledge Representation and Abstract
Data Types -- 2.17 On the Design of Computer Algebra Systems -- 2.18 Parahel Computer Algebra Systems -- 2.19 Interfaces and Standardization -- 2.20 Hardware Implementation of Computer Algebra Algorithms -- 3 Applications of Computer
Algebra -- 3.1 Physics -- 3.2 Mathematics -- 3.3 Computer Science -- 3.4 Engineering -- 3.5 Chemistry -- 3.6 Computer Algebra in Education -- 4 Computer Algebra Systems -- 4.1 General Purpose Systems -- 4.2 Special Purpose Systems --
4.3 Packages -- 5 Meetings and Publications -- 5.1 Conferences and Proceedings -- 5.2 Books on Computer Algebra -- Cited References -- Index for Authors’ Contributions
ISBN:9783642558269
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Computer science , Algebra , Algorithms , Computer software , Mathematics , Mathematical Software , Algebra , Algorithms , Symbolic and Algebraic Manipulation
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783540888673:ONLINE Show nearby items on shelf
Title:The Higher Infinite Large Cardinals in Set Theory from Their Beginnings
Author(s): Akihiro Kanamori
Date:2003
Edition:2
Size:1 online resource (538 p.)
Note:10.1007/978-3-540-88867-3
Contents:Preliminaries -- Beginnings -- Partition Properties -- Forcing and Sets of Reals -- Aspects of Measurability -- Strong Hypotheses -- Determinacy
ISBN:9783540888673
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematical logic , Topology , Mathematics , Mathematical Logic and Foundations , Topology
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Cover
Image
Call number:SPRINGER-2003-9783540447610:ONLINE Show nearby items on shelf
Title:Set Theory
Author(s): Thomas Jech
Date:2003
Edition:The Third Millennium Edition
Size:1 online resource (772 p.)
Note:10.1007/3-540-44761-X
Contents:Basic Set Theory -- Axioms of Set Theory -- Ordinal Numbers -- Cardinal Numbers -- Real Numbers -- The Axiom of Choice and Cardinal Arithmetic -- The Axiom of Regularity -- Filters, Ultrafilters and Boolean Algebras -- Stationary Sets
-- Combinatorial Set Theory -- Measurable Cardinals -- Borel and Analytic Sets -- Models of Set Theory -- Advanced Set Theory -- Constructible Sets -- Forcing -- Applications of Forcing -- Iterated Forcing and Martin’s Axiom -- Large
Cardinals -- Large Cardinals and L -- Iterated Ultrapowers and L[U] -- Very Large Cardinals -- Large Cardinals and Forcing -- Saturated Ideals -- The Nonstationary Ideal -- The Singular Cardinal Problem -- Descriptive Set Theory -- The
Real Line -- Selected Topics -- Combinatorial Principles in L -- More Applications of Forcing -- More Combinatorial Set Theory -- Complete Boolean Algebras -- Proper Forcing -- More Descriptive Set Theory -- Determinacy -- Supercompact
Cardinals and the Real Line -- Inner Models for Large Cardinals -- Forcing and Large Cardinals -- Martin’s Maximum -- More on Stationary Sets
ISBN:9783540447610
Series:eBooks
Series:SpringerLink (Online service)
Series:Springer eBooks
Keywords: Mathematics , Mathematical logic , Mathematics , Mathematical Logic and Foundations , Mathematical Logic and Formal Languages
Availability:Click here to see Library holdings or inquire at Circ Desk (x3401)
Click to reserve this book Be sure to include your ID please.
More info:Amazon.com
More info: Barnes and Noble
Full Text:Click here
Location: ONLINE

Return to the Fermilab Library catalog