Chapter

Logics of Programs

Volume 164 of the series Lecture Notes in Computer Science pp 116-128

Date:

Mathematics as programming

  • R. L. ConstableAffiliated withCornell University

* Final gross prices may vary according to local VAT.

Get Access