Active Bibliography

2 Mostowski’s fundamental operations — part I – Andrzej Kondracki - 1990
6 Properties of ZF models – Grzegorz Bancerek - 1989
Bounded Domains and Unbounded Domains – Yatsuka Nakamura, Andrzej Trybulec, Czeslaw Bylinski - 2003
7 Replacing of variables in formulas of ZF theory – Grzegorz Bancerek - 1990
6 On powers of cardinals – Grzegorz Bancerek - 1992
90 Combining of Circuits – Yatsuka Nakamura, Grzegorz Bancerek - 2002
34 Countable sets and Hessenberg’s theorem – Grzegorz Bancerek - 1990
Journal Of Formalized Mathematics – Volume Released Published, Jarosław Kotowicz
Memory Handling for SCM_FSA – Piotr Rudnicki, Andrzej Trybulec
291 Finite Sequences and Tuples of Elements of a Non-empty Sets – Czeslaw Bylinski - 1990
13 Banach space of bounded linear operators – Yasunari Shidama - 2003
1 Veblen Hierarchy – Grzegorz Bancerek - 2011
13 Increasing and Continuous Ordinal Sequences – Grzegorz Bancerek - 1989
63 Cartesian product of functions – Grzegorz Bancerek - 1991
17 Models and Satisfiability – Grzegorz Bancerek - 1989
26 Classes of conjugation. Normal subgroups – Wojciech A. Trybulec - 1990
Memory Handling for SCM – Piotr Rudnicki, Andrzej Trybulec - 1999
Combinatorial Grassmannians – Andrzej Owsiejczuk - 2007
12 The SCMPDS computer and the basic semantics of its instructions – Jing-chao Chen - 1999