PROVABILITY AND SATISFIABILITY. ON THE LOCAL MODELS FOR NATURAL DEDUCTION.
Saved in:
| Title: | PROVABILITY AND SATISFIABILITY. ON THE LOCAL MODELS FOR NATURAL DEDUCTION. |
|---|---|
| Authors: | BRÎNCUȘ, CONSTANTIN C.1 |
| Source: | Problems of Logic / Probleme de Logică. 2024, Vol. 27, p55-73. 19p. |
| Database: | Academic Search Ultimate |
| ISSN: | 14542366 |
|---|
