Finite Trees in Tense Logic
| Autor: | Bellissima, Fabio, Cittadini, Saverio |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 1999 Mar 01. 62(2), 121-140. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | Bellissima, Fabio, Cittadini, Saverio |
|---|---|
| Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 1999 Mar 01. 62(2), 121-140. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
Full text from SpringerLink