peter schroeder heister
Proof Theory in Computer Science
EbookSofort lieferbarProof theory has long been established as a basic discipline of mathematical logic. It has recent...
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
TaschenbuchBezug 6-10The 14th International Congress of Logic, Methodology and Philosophy of Science was held on July ...
Advances in Proof-Theoretic Semantics
BuchBezug 11-15This volume is the first ever collection devoted to the field of proof-theoretic semantics. Co...
Proof Theory in Computer Science
TaschenbuchBezug 11-15Proof theory has long been established as a basic discipline of mathematical logic. It has recent...
Extensions of Logic Programming
TaschenbuchBezug 11-15This volume contains papers presented at the secondinternational workshopon extensions of logic...
Extensions of Logic Programming
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of...
Extensions of Logic Programming
TaschenbuchBezug 11-15This volume contains finalized versions of papers presented at an international workshop on exten...
Advances in Proof-Theoretic Semantics
TaschenbuchBezug 11-15This volume is the first ever collection devoted to the field of proof-theoretic semantics. Co...
The Logical Writings of Karl Popper
BuchBezug 11-15This open access book is the first ever collection of Karl Popper's writings on deductive logic. ...
The Logical Writings of Karl Popper
TaschenbuchBezug 11-15This open access book is the first ever collection of Karl Popper's writings on deductive logic. ...
- 1