Przeglądaj przez Autor Caminati, Marco
Pokazuję rezultaty 1 do 5 z 5
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2011 | Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms | Caminati, Marco | - | - |
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 | - | - |