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 | Buch

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 |

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

Hybrid Logic and its Proof-Theory, Fachbücher

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

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

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

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