for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures.... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures.... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic.
Bemærk: Kan ikke leveres før jul.
The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic.
Bemærk: Kan ikke leveres før jul.
This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
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.