Filter
Matematisk logik
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 …
In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads …
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 …