Cover Image

Reflexive Structures : an Introduction to Computability Theory /

Show other versions (1)

Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of recursive functions. The approach taken presents the fundamental structures in a fairly general setting, but avoiding the introduction of abstract axiomatic domains. Natural numbers and n...

Full description

Bibliographic Details
Main Author:	Sanchis, Luis E.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1988.
Subjects:	Computer science. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Generalized Functions, Convergence Structures, and Their Applications /
by: Stanković, Bogoljub
Published: (1988)

Problems and Methods of Optimal Structural Design /
by: Banichuk, N. V.
Published: (1983)

Computability and Decidability : An Introduction for Students of Computer Science /
by: Loeckx, Jacques
Published: (1972)

Design of Digital Computers : An Introduction /
by: Gschwind, Hans W.
Published: (1975)

Control Theory, Numerical Methods and Computer Systems Modelling : International Symposium, Rocquencourt, June 17-21, 1974 /
by: Bensoussan, A.
Published: (1975)

Vectorization of Computer Programs with Applications to Computational Fluid Dynamics /
by: Gentzsch, Wolfgang
Published: (1984)

Computer Games I /
by: Levy, David N. L.
Published: (1988)

Probabilistic Analysis of Algorithms : On Computing Methodologies for Computer Algorithms Performance Evaluation /
by: Hofri, Micha
Published: (1987)

Computer Animation '90 /
by: Magnenat-Thalmann, Nadia
Published: (1990)

Computer-Based Automation /
by: Tou, Julius T.
Published: (1985)

The SIMD Model of Parallel Computation /
by: Cypher, Robert
Published: (1994)

What Computing Is All About /
by: Snepscheut, Jan L. A.
Published: (1993)

Introduction to SIMULA 67 /
by: Lamprecht, Günther
Published: (1983)

Computer-Based Instruction in Military Environments /
by: Seidel, Robert J.
Published: (1988)

Supercomputers and Their Performance in Computational Fluid Dynamics /
by: Fujii, Kozo
Published: (1993)

The Origins of Digital Computers : Selected Papers /
by: Randell, Brian
Published: (1973)

Computers, Chess and Long-Range Planning /
by: Botvinnik, M. M.
Published: (1970)

Computer Vision and Sensor-Based Robots /
by: Dodd, George G.
Published: (1979)

The Origins of Digital Computers : Selected Papers /
by: Randell, Brian
Published: (1975)

Nonlinear and Dynamic Programming : An Introduction /
by: Danø, Sven
Published: (1975)

A Practical Introduction to Pascal /
by: Wilson, I. R.
Published: (1978)

Potential Theory /
by: Král, Josef
Published: (1988)

Beyond Calculation : the Next Fifty Years of Computing /
by: Denning, Peter J.
Published: (1997)

State of the Art in Computer Graphics : Aspects of Visualization /
by: Rogers, David-F
Published: (1994)

Computer Science Education in the 21st Century /
by: Greening, Tony
Published: (2000)

Advanced Computer Graphics : Economics Techniques and Applications /
by: Parslow, R. D.
Published: (1971)

Computer Science Project Work : Principles and Pragmatics /
by: Fincher, Sally
Published: (2001)

The Denotational Description of Programming Languages : An Introduction /
by: Gordon, Michael J. C.
Published: (1979)

An Introduction to Kolmogorov Complexity and Its Applications /
by: Li, Ming
Published: (1993)

A Computer Science Reader : Selections from ABACUS /
by: Weiss, Eric A.
Published: (1988)

The Planiverse : Computer Contact with a Two-Dimensional World /
by: Dewdney, A. K.
Published: (2000)

Applied and Computational Control, Signals, and Circuits : Volume 1 /
by: Datta, Biswa Nath
Published: (1999)

Programmers and Managers : the Routinization of Computer Programming in the United States /
by: Kraft, Philip
Published: (1977)

A Practical Theory of Programming /
by: Hehner, Eric C. R.
Published: (1993)

Study and Research Guide in Computer Science : Profiles of Universities in the USA /
by: Tölle, Wolfgang
Published: (1993)

Kasparov versus Deep Blue : Computer Chess Comes of Age /
by: Newborn, Monroe
Published: (1997)

Geometric Computing for Perception Action Systems : Concepts, Algorithms, and Scientific Applications /
by: Bayro Corrochano, Eduardo
Published: (2001)

SAFECOMP '93 : the 12th International Conference on Computer Safety, Reliability and Security /
by: Górski, Janusz
Published: (1993)

Dynamical Systems and Evolution Equations : Theory and Applications /
by: Walker, J. A.
Published: (1980)

Computer Architecture : Workshop of the Gesellschaft für Informatik Erlangen, May 22-23, 1975 /
by: Händler, W.
Published: (1976)