Formalized Mathematics, 2011, Volume 19, Issue 3
: [10]
Strona glówna kolekcji
Zobacz statystyki
Spis treści/Content
- Korniłowicz, Artur
Mazur-Ulam Theorem - Futa, Yuichi / Okazaki, Hiroyuki / Shidama, Yasunari
Set of Points on Elliptic Curve in Projective Coordinates - Pąk, Karol
Continuity of Barycentric Coordinates in Euclidean Topological Spaces - Pąk, Karol
Brouwer Fixed Point Theorem for Simplexes - Pąk, Karol
Brouwer Fixed Point Theorem in the General Case - Caminati, Marco
Preliminaries to Classical First Order Model Theory - Caminati, Marco
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms - Caminati, Marco
First Order Languages: Further Syntax and Semantics - Caminati, Marco
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages - Caminati, Marco
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
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 | - | - |
2011 | Set of Points on Elliptic Curve in Projective Coordinates | Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari | - | - |
2011 | Continuity of Barycentric Coordinates in Euclidean Topological Spaces | Pąk, Karol | - | - |
2011 | Brouwer Fixed Point Theorem for Simplexes | Pąk, Karol | - | - |
2011 | Mazur-Ulam Theorem | Korniłowicz, Artur | - | - |
2011 | Brouwer Fixed Point Theorem in the General Case | Pąk, Karol | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10