Constructive order types /

Constructive order types /

41

Bibliographic Details
Main Author:	436319 Crossley, John N.
Format:
Published:	Amsterdam : North-Holland, 1969
Subjects:	Recursive functions Number theory

Similar Items

Computations in higher types /
by: 430417 Moldestad, Johan
Published: (1977)

E-recursively enumerable degrees
by: Griffor, Edward R.
Published: (2005)

Recursion on inadmissible ordinals
by: Friedman, Sy David
Published: (2005)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: 430372 Hermes, Hans
Published: (1969)

Recursiveness /
by: 430157 Eilenberg, Samuel
Published: (1970)

Introduction to computability /
by: 430261 Hennie, Frederick C.
Published: (1977)

Recursive functions /
by: 430594 Peter, Rozsa
Published: (1967)

Theory of recursive functions and effective computability /
by: 430645 Rogers, Hartley
Published: (1967)

Degrees of unsolvability /
by: 430728 Sacks, Gerald E.
Published: (1966)

Computability and unsolvability /
by: 429964 Davis, Martin
Published: (1958)

Generalized recursion theory
Published: (1974)

Computability : an introduction to recursive function theory /
by: 367112 Cutland, Nigel
Published: (1980)

Generalized recursion theory II /
by: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), et al.
Published: (1978)

Recursion-theoretic hierarchies /
by: 366611 Hinman, Peter G.
Published: (1978)

Computability theory : an introduction to recursion theory /
by: 461543 Enderton, Herbert B.
Published: (c201)

Thinking recursively /
by: 203886 Roberts, Eric
Published: (1986)

Computability
by: 8545 Open University. Computing and Computers Course Team
Published: (1973)

You can have all of the numbers all of the time [filem]
Published: (1972)

You can have all of the numbers all of the time [kasetvideo]
Published: (1972)

Algorithm design : a recursion transformation framework /
by: 258995 Paull, Marvin C.
Published: (c198)

Stable recursions : with applications to the numerical solution to stiff systems /
by: 239720 Cash, J. R.
Published: (1979)

Turing machines and functions [filem]
Published: (1973)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
by: 308908 Kleene, Stephen Cole
Published: (1965)

An improved recursive instrumental variable parameter estimator for closed-loop system identification /
by: Ahmad Nor Alifa A. Razap, 1984-, et al.
Published: (2011)

An improved recursive instrumental estimator for closed-loop system identification [electronic resource] /
by: Ahmad Nor Alifa A. Razap, 1984-
Published: (2011)

The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions /
by: 429964 Davis, Martin
Published: (1965)

Turing machines and functions [kasetvideo]
Published: (1973)

Tableau systems for first order number theory and certain higher order theories /
by: 358403 Toledo, Sue Ann
Published: (1975)

Neurophysiology
by: Blum, M.
Published: (2010)

Introduction to the theory of computation /
by: 460476 Engeler, Erwin
Published: (1973)

A construction for magic squares of composite order /
by: 306081 Chia, Gek-Ling
Published: (1984)

Minimun degree of the unsolvability and the full approximation construction /
by: Epstein, Richard L.
Published: (1975)

Verification of Programs with Mutual Recursion in the Pifagor Language
by: Mariya S. Ushakov, et al.
Published: (2018-08-01)

Computable analysis /
by: 367053 Aberth, Oliver
Published: (1980)

The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
by: Kleene Symposium (1978 : University of Wisconsin-Madison), et al.
Published: (1980)

On the Recursive Sequence x(n+!) = x(n-14) / [1 + x(n-2) x(n-5) x(n-8) x(n-11)]
by: Dağistan Şimşek, et al.
Published: (2020-12-01)

Coupled modes in plasma, elastic media, and parametric amplifiers : a numerical method /
by: 426795 Denman, Eugene D.
Published: (1970)

Identification of processes using fast algorithm for recursive least square/
by: 434783 Chia, Tuck Meng
Published: (1991)

Recursive macroeconomic theory /
by: Ljungqvist, Lars, et al.
Published: (2012)

Computability and logic /
by: 386993 Boolos, George, et al.
Published: (1974)