Machanizing hypothesis formation : mathematical foundations for general theory - Hajek Peter; Havranek Tomas (Berlin Springer-Verlag, 1978)
Keywords: Mathematical logic