Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Modelling Nature: An Opinionated Introduction to Scientific Representation (Bog, Hardback, Engelsk)This monograph offers a critical introduction to current theories of how scientific models represent their target systems. The... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Modelling Nature: An Opinionated Introduction to Scientific Representation (Bog, Paperback / softback, Engelsk)This monograph offers a critical introduction to current theories of how scientific models represent their target systems. The... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Legacy of Kurt Schutte (Bog, Hardback, Engelsk)This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Legacy of Kurt Schutte (Bog, Paperback / softback, Engelsk)This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Algebraic Perspectives on Substructural Logics (Bog, Hardback, Engelsk)This volume presents the state of the art in the algebraic investigation into substructural logics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Algebraic Perspectives on Substructural Logics (Bog, Paperback / softback, Engelsk)This volume presents the state of the art in the algebraic investigation into substructural logics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Godel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics (Bog, Paperback / softback, Engelsk)A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Probabilistic Extensions of Various Logical Systems (Bog, Hardback, Engelsk)The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Probabilistic Extensions of Various Logical Systems (Bog, Paperback / softback, Engelsk)The contributions in this book survey results on combinations of probabilistic and various other classical, temporal and justification logical... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir (Bog, Hardback, Engelsk)The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir (Bog, Paperback / softback, Engelsk)The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi (Bog, Paperback / softback, Engelsk)This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic.
Levering: Skaffevare (forvent 14 - 30 hverdage)
