Logic of Programs 1983: Logics of Programs pp 116-128

Mathematics as programming

  • R. L. Constable
Conference paper

DOI: 10.1007/3-540-12896-4_359

Part of the Lecture Notes in Computer Science book series (LNCS, volume 164)
Cite this paper as:
Constable R.L. (1984) Mathematics as programming. In: Clarke E., Kozen D. (eds) Logics of Programs. Logic of Programs 1983. Lecture Notes in Computer Science, vol 164. Springer, Berlin, Heidelberg

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1984

Authors and Affiliations

  • R. L. Constable
    • 1
  1. 1.Cornell UniversityUSA

Personalised recommendations