Widok standardowy
Widok MARC
Bancerek, Grzegorz. (Hasło osobowe)
Forma odrzucona:
- Bancerek, G.
Matematyka, informatyka; specjalność: komputerowa formalizacja matematyki, logika matematyczna.
Zermelo Theorem and Axiom of Choice / Grzegorz Bancerek // Formalized Mathematics. - Vol. 1, 2 (1990), s. 265-267
Wydział Matematyki i Informatyki UwB, 05.10.2016 http://math.uwb.edu.pl/~bancerek/
OPI online