Kombinatornye prostranstva i rekursivnostʹ v nikh

Sofii︠a︡: Izd-vo Bolgarskoĭ akademii nauk (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.6.S56

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
A beginner's further guide to mathematical logic.Raymond M. Smullyan - 2017 - New Jersey: World Scientific.
A hierarchy of languages, logics, and mathematical theories.Charles W. Kastner - 2003
The First Recursion Theorem for Iterative Combinatory Spaces.D. Skordev - 1979 - Mathematical Logic Quarterly 25 (3-6):69-77.
On the Recursion Theorem in Iterative Operative Spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
On the recursion theorem in iterative operative spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory.Roger Hindley & Gerd Mitschke - 1977 - Archive for Mathematical Logic 18 (1):99-103.
A General Form of Relative Recursion.Jaap van Oosten - 2006 - Notre Dame Journal of Formal Logic 47 (3):311-318.
Diagonalization and self-reference.Raymond Merrill Smullyan - 1994 - New York: Clarendon Press.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Introduction to Turing categories.J. Robin B. Cockett & Pieter Jw Hofstra - 2008 - Annals of Pure and Applied Logic 156 (2):183-209.
Set theory based on combinatory logic.Maarten Wicher Visser Bunder - 1969 - Groningen,: V. R. B. --Offsetdrukkerij (Kleine der A 3-4).
A theory of rules for enumerated classes of functions.Andreas Schlüter - 1995 - Archive for Mathematical Logic 34 (1):47-63.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.

Analytics

Added to PP
2023-10-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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