129106

References

Jan M. Smith

Evolution and logic

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link
On a nonconstructive type theory and program derivation

1987

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link