Przeglądaj przez Autor Caminati, Marco
Pokazuję rezultaty 4 do 5 z 5
< Porzedni
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2011 | Preliminaries to Classical First Order Model Theory | Caminati, Marco | - | - |
2011 | Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem | Caminati, Marco | - | - |