Mettre en vente
Se connecter
Aide
9 résultats
Raymond Smullyan On Self Reference
Voir le produit
Vendez le vôtre
First-Order Logic And Automated Theorem Proving
Incompletetude Na Terra Dos Conjuntos
First-Order Modal Logic
Numbers
Beyond Two
Beyond Two: Theory And Applications Of Multiple-Valued Logic
Fundamentals Of Generalized Recursion Theory
Computability Theory, Semantics, And Logic Programming (Oxford Logic Guides)