"Scientifically Informative Discovery of (Godel's) Model-Based Mathematical Discovery"

extended abstract 10/2/98

by Selmer Bringsjord