Paper on formalized mathematics available
(no name)
(
(no email)
)
Wed, 28 Feb 1996 04:55:13 -0600
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Next message:
MAKV@delphi.com: "Requirements for QEDL"
Previous message:
John Harrison: "Paper on formalized mathematics available"
Next message:
MAKV@delphi.com: "Requirements for QEDL"
Previous message:
John Harrison: "Paper on formalized mathematics available"