Catalogue > People > Profile

ProfilePublications

Jan M. Smith

editions X

2 Publications

Evolution and logic

2012

Jan M. Smith

in: Epistemology versus ontology, Berlin,

On a nonconstructive type theory and program derivation

1987

Jan M. Smith

in: Mathematical logic and its applications, Berlin,

2 Publications