Electronic Resource
Springer
Studia logica
41 (1982), S. 131-139
ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00370340
Permalink
|
Location |
Call Number |
Expected |
Availability |