Filter by
New Insights From Recent Studies in Historical Astronomy: Following in the Fo…
This book contains papers from a conference held to celebrate the 70th birthday of one of the world’s foremost astronomical historians, Professor F. Richard Stephenson, the latest recipient of the American Astronomical Society’s highest award for research in astronomical history, the LeRoy Doggett Prize. Reflecting Professor Stephenson’s extensive research portfolio, this book brings toge…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-07613-3
- Collation
- XXX, 350
- Series Title
- Astrophysics and Space Science Proceedings
- Call Number
- -
New Directions in Paraconsistent Logic:5th WCP, Kolkata, India, February 2014
The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-m…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-2717-5
- Collation
- XI, 552
- Series Title
- Springer Proceedings in Mathematics & Statistics
- Call Number
- -
Writing Proofs in Analysis
This is a textbook on proof writing in the area of analysis, balancing a survey of the core concepts of mathematical proof with a tight, rigorous examination of the specific tools needed for an understanding of analysis. Instead of the standard "transition" approach to teaching proofs, wherein students are taught fundamentals of logic, given some common proof strategies such as mathematical ind…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30967-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Why More Is Different Philosophical Issues in Condensed Matter Physics and C…
The physics of condensed matter, in contrast to quantum physics or cosmology, is not traditionally associated with deep philosophical questions. However, as science - largely thanks to more powerful computers - becomes capable of analysing and modelling ever more complex many-body systems, basic questions of philosophical relevance arise. Questions about the emergence of structure, the nature o…
- Edition
- -
- ISBN/ISSN
- 978-3-662-43911-1
- Collation
- X, 280
- Series Title
- -
- Call Number
- -
Recent Trends in Algebraic Development Techniques: 22nd International Worksho…
This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully reviewed and selected from 13 presentations and focus together with one invited paper on foundations of algebraic specification, approaches to formal …
- Edition
- -
- ISBN/ISSN
- 978-3-319-28114-8
- Collation
- -
- Series Title
- -
- Call Number
- 005.131
The Invisible Universe
This is the story of radio astronomy, of how radio waves are generated by stars, supernova, quasars, colliding galaxies and by the very beginnings of the universe itself. The author discusses what radio astronomers are doing in the New Mexico desert, in a remote valley in Puerto Rico, and in the green Pocahontas Valley in West Virginia, as well as dozens of other remote sites around the world. …
- Edition
- -
- ISBN/ISSN
- 978-3-319-13422-2
- Collation
- XII, 259
- Series Title
- Astronomers' Universe
- Call Number
- -
Introduction to Mathematical Analysis I
The lecture notes contain topics of real analysis usually covered in a 10-week course: the completeness axiom, sequences and convergence, continuity, and differentiation. The lecture notes also contain many well-selected exercises of various levels. Although these topics are written in a more abstract way compared with those available in some textbooks, teachers can choose to simplify them depe…
- Edition
- -
- ISBN/ISSN
- 9781365605529
- Collation
- -
- Series Title
- -
- Call Number
- 515 LAF i
Universe Unveiled The Cosmos in My Bubble Bath
The bubbles were swirling all around me, massaging my body. As I luxuriated in this fantastic bath, I gasped realizing that those bubbles carried with them miniature galaxies bringing the entire Cosmos into my bathtub... Alfie is back. And so are George and other characters from the author’s previous book Einstein’s Enigma or Black Holes in My Bubble Bath. While the present book, Univers…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08213-4
- Collation
- 34 b/w illustrations
- Series Title
- -
- Call Number
- -
The Formalisms of Quantum Mechanics
Quantum mechanics is probably the most successful physical theory ever proposed and despite huge experimental and technical progresses in over almost a century, it has never been seriously challenged by experiments. In addition, quantum information science ha s become an important and very active field in recent decades, further enriching the many facets of quantum physics. Yet, there is a s…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10539-0
- Collation
- VII, 157
- Series Title
- Lecture Notes in Physics
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography