Your search returned 2 results. Subscribe to this search

|
The philosophical computer : exploratory essays in philosophical computer modeling / Patrick Grim, Gary Mar and Paul St. Denis ; with the Group for Logic and Formal Semantics Book Publication Cambridge : The MIT Press, 1998
Description viii, 321 p. : il. ; 26 cm LocationBiblioteca Vitorino Magalhães Godinho Availability Available (1).

Logic techniques of formal reasoning / Donald Kalish, Richard Montague, Gary Mar Book Publication Londres : Harcourt Brace Jovanovich, cop. 1980
Description xvi, [1], 520 p. LocationBiblioteca Mário Sottomayor Cardia Availability Reference (1).