Formalized Mathematics - Tom 19, Numer 3 (2011) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2011

Tom

19

Numer

3

Identyfikatory

Okładka

Zawartość wolumenu

3
- artykuł: Mazur-Ulam Theorem (Korniłowicz A.), s. 127-130
- artykuł: Set of Points on Elliptic Curve in Projective Coordinates (Futa Y., Okazaki H., Shidama Y.), s. 131-138
- artykuł: Continuity of Barycentric Coordinates in Euclidean Topological Spaces (Pąk K.), s. 139-144
- artykuł: Brouwer Fixed Point Theorem for Simplexes (Pąk K.), s. 145-150
- artykuł: Brouwer Fixed Point Theorem in the General Case (Pąk K.), s. 151-153
- artykuł: Preliminaries to Classical First Order Model Theory (Caminati M.), s. 155-167
- artykuł: Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms (Caminati M.), s. 169-178
- artykuł: First Order Languages: Further Syntax and Semantics (Caminati M.), s. 179-192
- artykuł: Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages (Caminati M.), s. 193-203
- artykuł: Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem (Caminati M.), s. 205-222

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.