page d'accueil   sommaire   disciplines  
Logique mathématique
Liste des unités de recherche et des chercheurs ayant déclarés cette discipline (Cref 1170).


unités de recherche


Logique mathématique [Mathematical logic] (LOGMATH)
Service ingénierie de l'informatique et de la décision [Department of Computer and Decision Engineering] (CoDE)



chercheurs





disciplines et mots clés associés


Informatique mathématique Logique mathématique Théorie des ensembles et catégories

ensembles non-bien-fondés ensembles paradoxaux ensembles partiels histoires computationnelles inférence inductive logiques modales machine universelle de Turing modèles de termes modèles topologiques ramifiabilité superposition quantique système nf de quine théorie positive des ensembles thèse de Church