No label defined (Q4268404)
From MaRDI portal
scientific article; zbMATH DE number 1354095
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1354095 |
Statements
28 October 1999
0 references
intuitionistic logic
0 references
intermediate logic
0 references
set theory
0 references
provability
0 references
soundness and completeness
0 references