Recursion

English Intermediate

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Klaus Ambos-Spies (auth.),Heinz-Dieter Ebbinghaus,Gert H. Müller,Gerald E. Sacks (eds.)

1985 View book

English Unordered

Programming in Haskell

Graham Hutton

2007 View book

English Unordered

A gentle introduction to Haskell

Hudak P.

1999 View book

English Beginner

Functional Programming for Java Developers

Dean Wampler

2011 View book

English Beginner

Gödel, Escher, Bach: An Eternal Golden Braid

Douglas R. Hofstadter

1994 View book

English Beginner

Computability and logic

George S. Boolos,John P. Burgess,Richard C. Jeffrey

2002 View book

English Beginner

Handbook of Recursive Mathematics. Volume 1: Recursive Model Theory

Yu.L.Ershov,S.S.Goncharov,A.Nerode,J.B.Remmel

1998 View book

English Beginner

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

John N. Crossley,Michael Dummett (editors)

1965 View book

English Beginner

Theory of Recursive Functions and Effective Computability

Hartley Rogers

1987 View book

English Beginner

Computability Theory: An Introduction to Recursion Theory

Herbert B. Enderton

2010 View book

English Beginner

Computability Theory: An Introduction to Recursion Theory (Instructor's Solution Manual) (Solutions)

Herbert B. Enderton

2010 View book

English Beginner

Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965

John N. Crossley

1967 View book

English Unordered

Archive for Mathematical Logic

Vasco Brattka

2007 November 27 View book