Skip to main content
Have a personal or library account? Click to login

Volume 19 (2011): Issue 3 (Sep 2011)

Open Access
Journal detailsArticles & issues
Formalized Mathematics
Previous issue
Next issue

All volumes and issues in this journal

Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)

10 articles
Open Access
|Apr 2012
Mazur-Ulam Theorem
  
Open Access
|Apr 2012
Set of Points on Elliptic Curve in Projective Coordinates
,   and    
Open Access
|Apr 2012
Continuity of Barycentric Coordinates in Euclidean Topological Spaces
  
Open Access
|Apr 2012
Brouwer Fixed Point Theorem for Simplexes
  
Open Access
|Apr 2012
Brouwer Fixed Point Theorem in the General Case
  
Open Access
|Apr 2012
Preliminaries to Classical First Order Model Theory
  
Open Access
|Apr 2012
Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms
  
Open Access
|Apr 2012
First Order Languages: Further Syntax and Semantics
  
Open Access
|Apr 2012
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
  
Open Access
|Apr 2012
Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem
  
eISSN: 1898-9934|ISSN: 1426-2630|Language: English
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics
Journal RSS Feed