Logical Foundations of Mathematics and Computational Complexity
-15%
portes grátis
Logical Foundations of Mathematics and Computational Complexity
A Gentle Introduction
Pudlak, Pavel
Springer International Publishing AG
08/2016
695
Mole
Inglês
9783319342689
15 a 20 dias
Descrição não disponível.
??????????Mathematician's world.- Language, logic and computations.- Set theory.- Proofs of impossibility.- The complexity of computations.- Proof complexity.- Consistency, Truth and Existence.- References.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Complexity of Proofs;Computational Complexity;Foundations of Mathematics;Incompleteness Theorems;Mathematical Logic;Set-Theoretical Foundations;algorithmic complexity;algorithm analysis and problem complexity
??????????Mathematician's world.- Language, logic and computations.- Set theory.- Proofs of impossibility.- The complexity of computations.- Proof complexity.- Consistency, Truth and Existence.- References.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
