Logic-as-modeling : a new perspective on formalization

Bibliographic Details
Main Author: Cook, Roy T.
Language:English
Published: The Ohio State University / OhioLINK 2000
Online Access:http://rave.ohiolink.edu/etdc/view?acc_num=osu1260202088