TWiki> Mizar Web>MathematicsSubjectClassification>03>03E>03E99 (2006-10-23, JosefUrban)EditAttach

03E99 Set theory - None of the above, but in this section

Primary classification

# Article
1 finseq_1 Segments of Natural Numbers and Finite Sequences Grzegorz Bancerek and Krzysztof Hryniewiecki
2 finseq_2 Finite Sequences and Tuples of Elements of a Non-empty Sets Czes{\l}aw Byli\'nski
   
   

Secondary classification

# Article
   
   
WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r2 - 2006-10-23 - 21:56:16 - JosefUrban
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback