STSTT
Financiado
Presupuesto del proyecto
209K€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Applied Physics
Data Science
Mathematics Logic Computer Science Philosophy of Language
Mathematics Logic Computer Science Philosophy of Language
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#set theory
#semantic theories
#Gödel's constructible hierarchy
#revision theoretic truth
#infinitary tableau systems
#mathematical proof theory
#consistency proofs
#logics of truth
Lider