Ergebnisse zu
Logik / Mengenlehre

Lectures Given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held at Montecatini Terme, Italy, June 20-28, 1988

International Conference Lpar '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings

19th International Colloquium, Wien, Austria, July 13-17, 1992. Proceedings

13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings

Proceedings of the 5th Refinement Workshop, Organised by BCS-Facs, London, 8-10 January 1992

Proceedings. Caltech-UCLA Logic Seminar 1979-81

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Center, Chelwood..

A Generic Theorem Prover

Local and Global Theory

Second International Colloquium, Icgi-94, Alicante, Spain, September 21-23, 1994: Proceedings