Filter by
Nonstandard Analysis for the Working Mathematician
Starting with a simple formulation accessible to all mathematicians, this second edition is designed to provide a thorough introduction to nonstandard analysis. Nonstandard analysis is now a well-developed, powerful instrument for solving open problems in almost all disciplines of mathematics; it is often used as a ‘secret weapon’ by those who know the technique. This book illuminates th…
- Edition
- 1
- ISBN/ISSN
- 978-94-017-7326-3
- Collation
- XV, 481
- Series Title
- -
- Call Number
- -
Petr Hajek on Mathematical Fuzzy Logic
Volume ini berisi tentang kontribusi Petr Hajek. Petr HáJek bukan hanya seorang ilmuwan hebat, tetapi juga manusia yang luar biasa, dan karenanya merupakan kehormatan besar bagi saya untuk menangani buku ini. Namun, mengomentari karya ilmiahnya bukanlah pekerjaan yang mudah: meskipun kontribusi ilmiahnya sama sekali tidak terbatas pada Logika Fuzzy Matematis, produksinya di bidang ini sangat l…
- Edition
- Vol. 6
- ISBN/ISSN
- 978-3-319-06233-4
- Collation
- -
- Series Title
- Outstanding Contributions to Logic (OCTR)
- Call Number
- 511.31 MON p
Analytic Function Theory of Several Variables: Elements of Oka’s Coherence
The purpose of this book is to present the classical analytic function theory of several variables as a standard subject in a course of mathematics after learning the elementary materials (sets, general topology, algebra, one complex variable). This includes the essential parts of Grauert–Remmert's two volumes, GL227(236) (Theory of Stein spaces) and GL265 (Coherent analytic sheaves) with a l…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-981-10-0291-5
- Collation
- XVI, 397
- Series Title
- -
- Call Number
- 512.5 NOG a
The Road to Universal Logic Festschrift for the 50th Birthday of Jean-Yves B…
This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of Jean-Yves Béziau. The papers touch upon a wide range of topics including paraconsistent logic, quantum logic, geometry of oppositions, categorical logic, computational logic, fundamental logic notions (identity, rule, quantification) an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-15368-1
- Collation
- -
- Series Title
- -
- Call Number
- -
The Road to Universal Logic Festschrift for 50th Birthday of Jean-Yves Bézi…
This is the first volume of a collection of papers in honor of the fiftieth birthday of Jean-Yves Béziau. These 25 papers have been written by internationally distinguished logicians, mathematicians, computer scientists, linguists and philosophers, including Arnon Avron, John Corcoran, Wilfrid Hodges, Laurence Horn, Lloyd Humbertsone, Dale Jacquette, David Makinson, Stephen Read, and Jan WoleÅ…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10193-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Integrating Emotions and Cognition Throughout the Lifespan
This book synthesizes the literature on emotional development and cognition across the lifespan. The book proposes a core language by which to describe positive and problematic developmental changes by recourse to a parsimonious set of core principles, such as elevations or declines in tension thresholds and their relation to the waxing and waning of the cognitive system over the life course. I…
- Edition
- -
- ISBN/ISSN
- 978-3-319-09822-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Magnetic Records of Extreme Geological Events
Life on Earth was punctuated by several dramatic paleoenvironmental and paleoclimatic changes leading to mass extinction linked to continental flood basalts (CFBs) and large igneous provinces (LIPs), global oceanic anoxic events (OAE), rapid climate and sea level changes and meteorite impacts. On a global basis, linking the mass extinction to LIPs volcanism has remained problematic due to insuf…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 551 MAG
New Employee Safety:Risk Factors and Management Strategies
This reference introduces an innovative new-employee safety risk model, keyed to a typical new worker becoming acclimated to a new job and workplace. It reviews risk factors, their root causes, and how they can be addressed and minimized through targeted strategies at each stage of a worker's early months on the job. The model and its supporting findings dovetail with current thinking on employ…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18683-2
- Collation
- XI, 163
- Series Title
- -
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography