Repository | Directory | Profile
Jan M. Smith
2012
in: Epistemology versus ontology, Dordrecht : Springer
On a nonconstructive type theory and program derivation
1987
in: Mathematical logic and its applications, Dordrecht : Springer
Repository | Directory | Profile
2012
in: Epistemology versus ontology, Dordrecht : Springer
On a nonconstructive type theory and program derivation
1987
in: Mathematical logic and its applications, Dordrecht : Springer