Ihre Suche nach "intuitionistic logic" ergab 4 Treffer

Ansicht:
: Dick de Jongh on Intuitionistic and Provability Logics, Buch

Dick de Jongh on Intuitionistic and Provability Logics

Outstanding Contributions to Logic -Band 28

This book is dedicated to Dick de Jongh s contributions to the theory of intuitionistic and provability logics. Consisting of 13 chapters, written by leading experts, this book discusses de Jongh s origin…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 142,37*
: Advances in Peircean Mathematics, Buch

Advances in Peircean Mathematics

ISSN -Band 7

The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More pr…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 19,89*
: Automated Reasoning, Buch

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14740

Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, F…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 81,04*
: Automated Reasoning, Buch

Automated Reasoning

Lecture Notes in Artificial Intelligence -Band 14739

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full…

lieferbar innerhalb 2-3 Wochen
Buch
EUR 43,80*
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.