Filter by
Toward Predicate Approaches to Modality
In this volume, the author investigates and argues for, a particular answer to the question: What is the right way to logically analyze modalities from natural language within formal languages? The answer is: by formalizing modal expressions in terms of predicates. But, as in the case of truth, the most intuitive modal principles lead to paradox once the modal notions are conceived as predicate…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-22556-2
- Collation
- VIII, 190
- Series Title
- Trends in Logic
- Call Number
- -
Touring Consumption
This book attempts to confront spatial, performative and cultural interrelations between tourism and social economic behavior by providing a critical platform for the articulation of touring consumption in our contemporary world. Tourism has become a significant area of scholarship especially given the industry’s product development opportunities on a global scale. However, the emphasis place…
- Edition
- 1
- ISBN/ISSN
- 978-3-658-10018-6
- Collation
- VIII, 315
- Series Title
- Management – Culture – Interpretation
- Call Number
- -
Epistemological Dimensions of Evolutionary Psychology
As psychology and philosophy arose as answers to the eternal question of how the mind works, evolutionary psychology has gained ground over recent years as a link between cognitive-behavioral and natural-science theories of the mind. This provocative field has also gathered a wide range of criticisms, from attributing too much autonomy to the brain to basing itself on faulty assu…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-1387-9
- Collation
- 9 b/w illustrations, 6 illustrations in colour
- Series Title
- -
- Call Number
- -
Abelian Groups
Written by one of the subject’s foremost experts, this book focuses on the central developments and modern methods of the advanced theory of abelian groups, while remaining accessible, as an introduction and reference, to the non-specialist. It provides a coherent source for results scattered throughout the research literature with lots of new proofs. The presentation highlights major tren…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-19422-6
- Collation
- XXI, 747
- Series Title
- Springer Monographs in Mathematics
- Call Number
- 512.2 FUC a
Gentzen's Centenary
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen’s original consistency proofs to the most recent developments in p…
- Edition
- -
- ISBN/ISSN
- 978-3-319-10102-6
- Collation
- -
- Series Title
- -
- Call Number
- 510.1 GEN
Introduction to Concurrency Theory: Transition Systems and CCS
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used…
- Edition
- -
- ISBN/ISSN
- 978-3-319-21491-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsis…
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17912-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Intervention Research: A Practical Guide for Developing Evidence-based School…
This book offers a step-by-step guide to intervention research, including the methods and techniques that researchers, higher degree research students and others can use when pursuing intervention research in schools and other settings. Guided by the Intervention Research Framework, it also provides practical information on linking a program developed using a comprehensive, evidence-based appro…
- Edition
- -
- ISBN/ISSN
- 978-981-10-1011-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Oxygen Transport to Tissue XXXVIII
This book contains the refereed contributions from the 43rd annual meeting of ISOTT. The annual meetings of ISOTT bring together scientists from various fields (medicine, physiology, mathematics, biology, chemistry, physics, engineering, etc.) in a unique international forum. ISOTT conferences are a place where an atmosphere of interaction is created, where many questions are asked after each p…
- Edition
- -
- ISBN/ISSN
- 978-3-319-38810-6
- Collation
- xxxix, 453 halaman
- Series Title
- Advances in Experimental Medicine and Biology
- Call Number
- 612.22 OXY
Oxygen Transport to Tissue XXXVII
This book contains the refereed contributions from the 42nd annual meeting of ISOTT. The annual meetings of ISOTT bring together scientists from various fields (medicine, physiology, mathematics, biology, chemistry, physics, engineering, etc.) in a unique international forum. ISOTT conferences are a place where an atmosphere of interaction is created, where many questions are asked after each p…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3023-4
- Collation
- xxxii, 537 halaman
- Series Title
- Advances in Experimental Medicine and Biology
- Call Number
- 546.7 OXY
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography