Computational Logic and Set Theory, Fachbücher von Eugenio G. Omodeo, Domenico Cantone, Jacob T. Schwartz

Jacob T. Schwartz (u. A.) | Computational Logic And Set Theory |

An Introduction to the Technique of Formative Processes in Set Theory, Fachbücher von Domenico Cantone, Pietro Ursino

Computational Logic And Set Theory Applying Formalized Logic To

Martin Davis on Computability, Computational Logic, and Mathematical Foundations, Fachbücher von Alberto Policriti, Euge...

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Fachbücher

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

Hybrid Logic and its Proof-Theory, Fachbücher

On Sets and Graphs, Fachbücher von Alexandru I. Tomescu, Eugenio G. Omodeo, Alberto Policriti

Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018), Fachbücher von Roussanka Loukanova

Lectures In Logic And Set Theory, Volume 2 Set Theory George Tourlakis

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

Lectures In Logic And Set Theory: Volume 1, Mathematical Logic: Volume

Algebraic Systems of Equations and Computational Complexity Theory, Fachbücher von Z. Wang, S. Xu, T. Gao

Problems In Set Theory, Mathematical Logic And The Theory Of

Logic and General Theory of Science, Fachbücher von Edmund Husserl