Equational logic as a programming language

Míreanna comhchosúla

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