FOPL and FOPLN Backward Proofs of Equivalence Laws

Chunyan Mu, Bill Stoddart, Steve Dunne

Research output: Book/ReportOther report

9 Downloads (Pure)

Fingerprint

Dive into the research topics of 'FOPL and FOPLN Backward Proofs of Equivalence Laws'. Together they form a unique fingerprint.

Mathematics