scientific article
From MaRDI portal
Publication:3679367
zbMath0565.18004MaRDI QIDQ3679367
Publication date: 1984
Full work available at URL: https://eudml.org/doc/91744
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Special categories (18B99) Recursive functions and relations, subrecursive hierarchies (03D20) Foundations, relations to logic and deductive systems (18A15)
Related Items