Book titles in this series
-
-
A Model–Theoretic Approach to Proof Theory
- Authors:
-
- Henryk Kotlarski
- Copyright: 2019
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Heyting Algebras
Duality Theory
- Authors:
-
- Leo Esakia
- Copyright: 2019
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Meaning and Proscription in Formal Logic
Variations on the Propositional Logic of William T. Parry
- Authors:
-
- Thomas Macaulay Ferguson
- Copyright: 2017
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Contradictions, from Consistency to Inconsistency
- Editors:
-
- Walter Carnielli
- Jacek Malinowski
- Copyright: 2018
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Quantum Computation and Logic
How Quantum Computers Have Inspired Logical Investigations
- Authors:
-
- Maria Luisa Dalla Chiara
- Roberto Giuntini
- Roberto Leporini
- Giuseppe Sergioli
- Copyright: 2018
Available Renditions
- Hard cover
- eBook
-
Descriptor Revision
Belief Change through Direct Choice
- Authors:
-
- Sven Ove Hansson
- Copyright: 2017
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
- Editors:
-
- Holger Andreas
- Peter Verdée
- Copyright: 2016
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Freedom and Enforcement in Action
A Study in Formal Action Theory
- Authors:
-
- Janusz Czelakowski
- Copyright: 2015
Available Renditions
- Hard cover
- Soft cover
- eBook
-
Logics and Falsifications
A New Perspective on Constructivist Semantics
- Authors:
-
- Andreas Kapsner
- Copyright: 2014
Available Renditions
- Hard cover
- Soft cover
- eBook