Ergebnisse zu
Logik / Mengenlehre

Analysis and Design of Intelligent Systems

Relations with Arithmetic and Algebraic Geometry

Cellular Automata Simulations with Mathematica(R)

Sequent Calculi and Related Formalisms

(Volume V)

A Mathematician's Journey Through Symmetry (Text Only)

Theory and Applications

A Survey of Basic Concepts and Results

Semantics, Algebras, and Derivation Systems

A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science,..