Logics for Computer Science (Q4561681)
From MaRDI portal
scientific article; zbMATH DE number 6992876
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics for Computer Science |
scientific article; zbMATH DE number 6992876 |
Statements
Logics for Computer Science (English)
0 references
12 December 2018
0 references
classical propositional logic
0 references
Hilbert proof systems
0 references
Gentzen style proof systems
0 references
QRS proof systems
0 references
intuitionistic semantics
0 references
Gödel theorems
0 references
