Extractability as the Deduction Theorem in Subdirectional Combinatory Logic (Q4981257)
From MaRDI portal
scientific article; zbMATH DE number 6307745
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extractability as the Deduction Theorem in Subdirectional Combinatory Logic |
scientific article; zbMATH DE number 6307745 |
Statements
Extractability as the Deduction Theorem in Subdirectional Combinatory Logic (English)
0 references
24 June 2014
0 references
