The given

Research output: Contribution to journalArticleResearchpeer-review


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 languageEnglish
Pages (from-to)131-139
Number of pages9
JournalStudia Logica
Issue number2-3
Publication statusPublished - 1 Jun 1982

Cite this