Equational Logic as a Programming Language

Journal of Symbolic Logic 52 (3):873 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.

Analytics

Added to PP
2013-11-02

Downloads
25 (#540,419)

6 months
4 (#315,466)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references