Proof Theory and Algebra in Logic, Fachbücher von Hiroakira Ono

Proof Theory And Algebra In Logic | Hiroakira Ono | Taschenbuch |

Proof Theory And Algebra In Logic 5583

Hybrid Logic and its Proof-Theory, Fachbücher

The Semantics and Proof Theory of the Logic of Bunched Implications, Fachbücher

Georg Gottlob (u. A.) | Computational Logic And Proof Theory |

Knowledge, Proof and Dynamics, Fachbücher von Hiroakira Ono, Fenrong Liu, Junhua Yu

Algebra and Operator Theory, Fachbücher

A Geometry Of Approximation: Rough Set Theory: Logic, Algebra And

Grassmann Algebra and Determinant Theory, Fachbücher

Universal Algebra, Algebraic Logic, and Databases, Fachbücher von B. Plotkin

Model Theory in Algebra, Analysis and Arithmetic, Fachbücher

Computer algebra in coding theory and cryptanalysis, Fachbücher

Proof Theory, Fachbücher

Introduction to Discrete Mathematics via Logic and Proof, Fachbücher von Calvin Jongsma

Heinrich Wansing | Proof Theory Of Modal Logic | Buch | Englisch