Equational logic as a programming language

Lignende værker

• The language of logic /
  af: Freudenthal, Hans, 1905-
  Udgivet: (1966)
• Sets, logic, and axiomatic theories /
  af: Stoll, Robert Roth
  Udgivet: (1961)
• Logic and structure
  af: Dalen, D. van (Dirk van), 1932-
  Udgivet: (1980)
• Logic and structure
  af: Dalen, D. van (Dirk), 1932-
  Udgivet: (1983)
• Logic of mathematics : a modern course of classical logic /
  af: Adamowicz, Zofia
  Udgivet: (1997)