Constructive Mathematics and Computer-Assisted Reasoning Systems

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 43-52
https://doi.org/10.1007/978-1-4613-0609-2_4

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Specifying theorem provers in a higher-order logic programming language
Published by Springer Nature ,2005
Foundations of Constructive Mathematics
Published by Springer Nature ,1985
Edinburgh LCF
Lecture Notes in Computer Science, 1979