Abstract
The paper presents a brief survey of recent work by Metakides, Nerode and others in the area of effective algebra and makes some comments on the relation between formal presentations, characterizations, etc. of sets and of algebraic structures and their practical presentations.
| Original language | English |
|---|---|
| Pages (from-to) | 131-139 |
| Number of pages | 9 |
| Journal | Studia Logica |
| Volume | 41 |
| Issue number | 2-3 |
| DOIs | |
| Publication status | Published - 1 Jun 1982 |