Wyszukaj
Dodaj filtr:
Uzyj filtrów aby zagęścić wyszukiwanie.
Rezultaty 1-5 z 5 (Czas wyszukiwania: 0.004 sekund).
- poprzedni
- 1
- następny
Odsłon pozycji:
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 | Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem | 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 | - | - |