Related Books
Language: en
Pages: 341
Pages: 341
Type: BOOK - Published: 2018-08-16 - Publisher: Springer
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The autho
Language: en
Pages: 343
Pages: 343
Type: BOOK - Published: 2023-04-12 - Publisher: Springer Nature
This volume investigates Eric Weil’s innovative conceptualization of the place of violence in the philosophical tradition with a focus on violence’s relatio
Language: en
Pages: 285
Pages: 285
Type: BOOK - Published: 2020-01-13 - Publisher: Springer Nature
This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. Accordi
Language: en
Pages: 274
Pages: 274
Type: BOOK - Published: 2022-06-16 - Publisher: Springer Nature
This book provides an epistemological study of the great Islamic scholar of Banjarese origin, Syeikh Muhammad Arsyad al-Banjari (1710-1812) who contributed to t
Language: en
Pages: 357
Pages: 357
Type: BOOK - Published: 2018-08-14 - Publisher: Springer
This book explores the unique relationship between two different approaches to understand the nature of knowledge, reality, and existence. It collects essays th