Bemærk: Kan ikke leveres før jul.
This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-order definability, types, symmetries, and elementary extensions.
Bemærk: Kan ikke leveres før jul.
Most of the papers, but not all, are developed around the subtle distinctions between consistency and non-contradiction, as well as among contradiction,... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This edited book brings together research work in the field of constructive semantics with scholarship on the phenomenological foundations of logic and mathematics.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This volume comprises a selection of contributions to the theorizing about argumentation that have been presented at the 9th conference of the International Society for the Study of Argumentation (ISSA), held in Amsterdam in July 2018.
Bemærk: Kan ikke leveres før jul.
This book is a companion to logical thought and logical thinking in China with a comparative and interdisciplinary perspective.
Bemærk: Kan ikke leveres før jul.
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.
Bemærk: Kan ikke leveres før jul.
This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos.