Computational Logic and Set Theory (Q5198513)
From MaRDI portal
scientific article; zbMATH DE number 5936849
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational Logic and Set Theory |
scientific article; zbMATH DE number 5936849 |
Statements
Computational Logic and Set Theory (English)
0 references
8 August 2011
0 references
computational logic
0 references
set theory
0 references
proof verifiers
0 references
automated reasoning
0 references
decision procedures
0 references
decidability
0 references
undecidability
0 references
complex analysis
0 references
verifier \texttt{ÆtnaNova}
0 references
Cauchy integral theorem
0 references
incompleteness theorems
0 references
automated theorem proving
0 references
