Filter by
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
- -
A Bridge between Conceptual Frameworks: Sciences, Society and Technology Studies
This book analyzes scientific problems within the history of physics, engineering, chemistry, astronomy and medicine, correlated with technological applications in the social context. When and how is tension between disciplines explicitly practised? What is the conceptual bridge between science researches and the organization of technological researches in the development of industrial applicat…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9645-3
- Collation
- -
- Series Title
- History of Mechanism and Machine Science
- Call Number
- 530.01 BRI b
The Unknown as an Engine for Science An Essay on the Definite and the Indefi…
This book explores the limits of our knowledge. The author shows how uncertainty and indefiniteness not only define the borders confining our understanding, but how they feed into the process of discovery and help to push back these borders. Starting with physics the author collects examples from economics, neurophysiology, history, ecology and philosophy. The first part shows how informatio…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18509-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Modern Logic 1850-1950, East and West
“Modern Logic, 1850–1950, East and West is a memorial volume for the respected historian of logic Irving H. Anellis … . an excellent job identifying the distinctive features of this work in accessible terms and is able to reflect on its historical importance and broader social context from firsthand experience. … an excellent starting point for any historical study of this avenue of mat…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-24754-0
- Collation
- XIII, 258
- Series Title
- Studies in Universal Logic
- Call Number
- -
Electrochemistry in a Divided World Innovations in Eastern Europe in the 20t…
In this collection of interrelated essays, the authors review landmark developments in electrochemistry building on biographic material and personal insight. The book facilitates understanding of the innate pathways of developments in electrochemical science as a result of lucky circumstances fitting to objective conditions. Thus the book will help to understand the present state of electrochem…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21221-0
- Collation
- 193 b/w illustrations, 74 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography