Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Bog, Paperback / softback, Engelsk)Semantic Representationalism, Logical Dialogues, Knowledge and Epistemic logic are among some of the topics covered in this book's chapters.The book should appeal to students, scholars and teachers who wish to explore the philosophy of Jaako Hintikka.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Hyperuniverse Project and Maximality (Bog, Paperback / softback, Engelsk)This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
An Introduction to the Technique of Formative Processes in Set Theory (Bog, Paperback / softback, Engelsk)This book presents an intuitive picture-oriented approach to the formative processes technique and to its applications.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Logics for Computer Science: Classical and Non-Classical (Bog, Hardback, Engelsk)Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
-
Bemærk: Kan ikke leveres før jul.
Computational Artifacts: Towards a Philosophy of Computer Science (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Nonclassical Logics and Their Applications: Post-proceedings of the 8th International Workshop on Logic and Cognition (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Bog, Hardback, Engelsk)This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (Bog, Paperback / softback, Engelsk)This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
