Filter
Matematikens grunder
Filter
The main idea behind this book is to encourage readers to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved …
This book marks the inauguration of the Historia Logicae book series, which seeks to publish high-quality monographs, dissertations, textbooks, proceedings, and anthologies on the …
This book is intended for the formal argumentation community and for the sex offender therapist community.Both communities use logic.The message of this book is that the …
In 1922, Curry started reading Principia Mathematica and was intrigued by the complications of its substitution rule. As a result of trying to analyze substitution, Curry conceived …
This is Volume II of the proceedings of the 3rd European Conference on Argumentation: Reason to Dissent, held at the University of Groningen in June 2019. The European Conference …
The Journal of Applied Logics - IfCoLog Journal of Logics and their Applications (FLAP) covers all areas of pure and applied logic, broadly construed. All papers published are open …