W BIAŁYMSTOKU
Przeglądaj przez Autor Caminati, Marco
Pokazuję rezultaty 2 do 5 z 5
< Porzedni
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2011 | First Order Languages: Further Syntax and Semantics | Caminati, Marco | - | - |
| 2011 | Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages | Caminati, Marco | - | - |
| 2011 | Preliminaries to Classical First Order Model Theory | Caminati, Marco | - | - |
| 2011 | Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem | Caminati, Marco | - | - |