Bibliography

1

Grzegorz Bancerek.
Complete lattices.
Formalized Mathematics, 2(5):719-725, 1991.
MML: LATTICE3.

2

Grzegorz Bancerek.
Bounds in posets and relational substructures.
Formalized Mathematics, 6(1):81-91, 1997.
MML: YELLOW_0.

3

Grzegorz Bancerek.
Directed sets, nets, ideals, filters, and maps.
Formalized Mathematics, 6(1):93-107, 1997.
MML: WAYBEL_0.

4

Grzegorz Bancerek.
The ``way-below'' relation.
Formalized Mathematics, 6(1):169-176, 1997.
MML: WAYBEL_3.

5

Grzegorz Bancerek.
Bases and refinements of topologies.
Formalized Mathematics, 7(1):35-43, 1998.
MML: YELLOW_9.

6

Ewa Bonarska.
An Introduction to PC Mizar.
Fondation Philippe le Hodey, Brussels, 1990.
Revised version, 2000: http://merak.uwb.edu.pl/~bancerek/introduction/.

7

G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, and D. S. Scott.
A Compendium of Continuous Lattices.
Springer-Verlag, Gerlin, Heidelberg, 1980.

8

Andrzej Grzegorczyk.
Zarys arytmetyki teoretycznej.
Biblioteka Matematyczna. PWN, Warszawa, 1971.

9

Stanisaw Jakowski.
On the Rules of Supposition in Formal Logic.
Studia Logica. Warsaw University, 1934.
Reprinted in S. McCall, Polish Logic in 1920-1939, Clarendon Press, Oxford.

10

Peter T. Johnstone.
Stone Spaces.
Cambridge University Press, Cambridge, London, New York, 1982.

11

Artur Korniowicz.
On the topological properties of meet-continuous lattices.
Formalized Mathematics, 6(2):269-277, 1997.
MML: WAYBEL_9.

12

E. G. H. Landau.
Grundlagen der Analysis.
Akademische Verlag, Leipzig, 1930.

13

Piotr Rudnicki and Andrzej Trybulec.
On equivalents of well-foundedness.
Journal of Automated Reasoning, 23(3-4):197-234, 1999.

14

Andrzej Trybulec.
Built-in concepts.
Formalized Mathematics, 1(1):13-15, 1990.
MML: AXIOMS.

15

Andrzej Trybulec.
Tarski Grothendieck set theory.
Formalized Mathematics, 1(1):9-11, 1990.
MML: TARSKI.

16

Wojciech A. Trybulec.
Partially ordered sets.
Formalized Mathematics, 1(2):313-319, 1990.
MML: ORDERS_1.

17

L. S. van Benthem Jutting.
Checking Landau's ``Grundlagen'' in the Automath system, 1977.
PhD thesis.

18

Freek Wiedijk.
Mizar: An Impression, 1999. http://www.cs.kun.nl/~freek/mizar/.

19

Stanisaw ukowski.
Introduction to lattice theory.
Formalized Mathematics, 1(1):215-222, 1990.
MML: LATTICES.