Non-standard fixed points in first order logic
- 1 January 1984
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Recursive Programs as Definitions in First-Order LogicSIAM Journal on Computing, 1984
- A complete logic for reasoning about programs via nonstandard model theory ITheoretical Computer Science, 1982
- Proving Theorems about LISP FunctionsJournal of the ACM, 1975
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955