On a Correspondence Between Two Kinds of Bilateral Proof-Systems.
Saved in:
| Title: | On a Correspondence Between Two Kinds of Bilateral Proof-Systems. |
|---|---|
| Authors: | Francez, Nissim1 (AUTHOR) |
| Source: | Logics. Jun2025, Vol. 3 Issue 2, p2-N.PAG. 5p. |
| Database: | Academic Search Ultimate |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
