te Calculus and Program Semantics',
| Springer-Verlag, New York, NY, 1990.

| Ebbinghaus, H.-D., Flum, J., &amp; Thomas, W.,
|'Mathematical Logic',
| Springer-Verlag, New York, NY, 1984.

| Gries, David &amp; Schneider, Fred B.,
|'A Logical Approach to Discrete Math',
| Springer-Verlag, New York, NY, 1993.

| Halmos, Paul R.,
|'Naive Set Theory',
| D. Van Nostrand, Princeton, NJ, 1960.

| Hilbert, David &amp; Ackermann, Wilhelm,
|'Principles of Mathematical Logic',
| Chelsea Publishing, New York, NY, 1950.
