Filter by
Modern Logic 1850-1950, East and West
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern logic and is dedicated to the memory of Irving Anellis, founder of the journal 'Modern Logic', whose academic work was essential in promoting the algebraic tradition of logic, as represented by Ch…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24754-0
- Collation
- XIII, 258
- Series Title
- Studies in Universal Logic
- Call Number
- -
Motivating Cooperation and Compliance with Authority
This volume explores the various ways in which trust is thought about and studied in contemporary society. In doing so, it aims to advance both theoretical and methodological perspectives on trust. Trust is an important topic in this series because it raises issues of both motivation and emotion. Specifically, notions of trust and fairness motivate individuals to behave in a manner they deem ap…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-16150-1
- Collation
- XIII, 220
- Series Title
- Nebraska Symposium on Motivation
- Call Number
- -
Microbial Biotechnology- A Laboratory Manual for Bacterial Systems
Microorganisms play an important role in the maintenance of the ecosystem structure and function. Bacteria constitute the major part of the microorganisms and possess tremendous potential in many important applications from environmental clean up to the drug discovery. Much advancement has been taken place in the field of research on bacterial systems. This book summarizes the experimental setu…
- Edition
- 1
- ISBN/ISSN
- 978-81-322-2094-7
- Collation
- XVI, 239
- Series Title
- -
- Call Number
- -
Knowledge Synthesis: Western and Eastern Cultural Perspectives
This book provides readers the idea of systemically synthesizing various kind of knowledge, which needs to combine analytical thinking and synthetic thinking. Systems science is expected to help in solving contemporary complex problems, utilizing interdisciplinary knowledge effectively and combining analytical thinking and synthetic thinking efficiently. However, traditional systems science has…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55218-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Treating Adolescents with Family-Based Mindfulness
A new take on therapeutic mindfulness with specific applications to troubled and delinquent youth is the focus of this innovative text. It introduces Family Mode Deactivation Therapy (FMDT) and its core concepts and methodologies, differentiating it from other cognitive and mindfulness therapies for adolescents with problem behaviors and comorbid conditions. Step by step applications of FMDT fr…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-12699-9
- Collation
- XI, 387
- Series Title
- -
- Call Number
- -
Trapping of Small Organisms Moving Randomly
This new book is the first to make logical and important connections between trapping and foraging ecology. It develops and describes—both verbally and mathematically--the underlying principles that determine and define trap-organism interactions. More important, it goes on to explain and illustrate how these principles and relationships can be used to estimate absolute population densities i…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-12994-5
- Collation
- XVIII, 114
- Series Title
- SpringerBriefs in Ecology
- Call Number
- -
Ethylene in Plants
This book focuses on recent advances in our understanding of the signal transduction pathway of ethylene, its interaction with other hormones and its roles in biological processes. It discusses at which point plants could have acquired ethylene signaling from an evolutionary perspective. Ethylene was the first gaseous hormone to be identified and triggers various responses in higher plants. Our…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9484-8
- Collation
- 6 b/w illustrations, 36 illustrations in colour
- Series Title
- -
- Call Number
- -
Symmetries in Graphs, Maps, and Polytopes
This volume contains seventeen of the best papers delivered at the SIGMAP Workshop 2014, representing the most recent advances in the field of symmetries of discrete objects and structures, with a particular emphasis on connections between maps, Riemann surfaces and dessins d’enfant. Providing the global community of researchers in the field with the opportunity to gather, converse and prese…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- X, 332
- Series Title
- Springer Proceedings in Mathematics & Statistics
- Call Number
- -
Towards an Arithmetical Logic
This book offers an original contribution to the foundations of logic and mathematics and focuses on the internal logic of mathematical theories, from arithmetic or number theory to algebraic geometry. Arithmetical logic is the term used to refer to the internal logic of classical arithmetic, here called Fermat-Kronecker arithmetic and combines Fermat’s method of infinite descent with Kroneck…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22087-1
- Collation
- XI, 184
- Series Title
- Studies in Universal Logic
- Call Number
- -
Towards Paraconsistent Engineering
This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-40417-2
- Collation
- XVI, 234
- Series Title
- Intelligent Systems Reference Library
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography