Cover Image

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules /

Bibliographic Details
Main Author:	Hesselink, Wim H.
Format:	Book
Language:	English
Published:	Cambridge, [England] : Cambridge University Press, 1992.
Series:	Cambridge tracts in theoretical computer science ; 27.
Subjects:	Computer programs > Mathematics. Recursion theory. Logic, Symbolic and mathematical.

Similar Items

Recursive function theory and logic.
by: Yasuhara, Ann
Published: (1971)

Induction, recursion, and programming /
by: Wand, Mitchell
Published: (1980)

Recursive functionals /
by: Sanchis, Luis E.
Published: (1992)

Formal systems and recursive functions /
Published: (1965)

Formal systems and recursive functions ; proceedings /
Published: (1965)

Recursive programming techniques /
by: Burge, William H.
Published: (1975)

Classical recursion theory : the theory of functions and sets of natural numbers /
by: Odifreddi, Piergiorgio, 1950-
Published: (1992)

Recursive analysis /
Published: (1961)

Generalized recursion theory II : proceedings of the 1977 Oslo Symposium /
Published: (1978)

Recursive techniques in programming /
by: Barron, D. W. (David William), 1935-2012
Published: (1975)

Recursive techniques in programming /
by: Barron, D. W. (David William), 1935-2012
Published: (1968)

Generalized recursion theory : Proceedings of the 1972 Oslo symposium /
Published: (1974)

Logic Colloquium '69 : proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 /
Published: (1971)

Computability and logic /
by: Boolos, George
Published: (1974)

Primitiv-rekursive Funktionen in Peano-Algebren.
by: Hirschelmann, Arnulf
Published: (1969)

Computability and logic /
by: Boolos, George
Published: (1980)

Computability and logic.
by: Boolos, George
Published: (2002)

Computability and logic.
by: Boolos, George
Published: (2007)

Fundamentals of mathematical logic /
by: Hinman, Peter G.
Published: (2005)

Fundamentals of generalized recursion theory /
by: Fitting, Melvin, 1942-
Published: (1981)

Recursive functions and metamathematics : problems of completeness and decidability, Gödel's theorems /
by: Murawski, Roman
Published: (1999)

Recursion Theory : Lecture Notes in Logic 1 /
by: Shoenfield, Joseph R.
Published: (2018)

Complexity, logic, and recursion theory /
Published: (2019)

Complexity, logic, and recursion theory /
Published: (2019)

Sets, models and recursion theory /
Published: (1967)

A recursive introduction to the theory of computation /
by: Smith, Carl H., 1950-
Published: (1994)

The recursive book of recursion : ace the coding interview with Python and JavaScript /
by: Sweigart, Al
Published: (2022)

The logic of programming /
by: Hehner, Eric C. R.
Published: (1984)

Logic programming /
Published: (1982)

Recursion on the countable functionals /
by: Normann, Dag, 1947-
Published: (1980)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

Introduction to logic programming /
by: Hogger, Christopher John
Published: (1984)

Recursion theory /
Published: (1985)

The logical basis for computer programming /
by: Manna, Zohar
Published: (1985)

Executing temporal logic programs /
by: Moszkowski, B. C.
Published: (1986)

Recursive methods in economic dynamics /
by: Stokey, Nancy L.
Published: (1989)

Recursion theory for metamathematics /
by: Smullyan, Raymond M.
Published: (2020)

Logic, sets, and recursion /
by: Causey, Robert L.
Published: (2006)

Diagonalization and self-reference /
by: Smullyan, Raymond M.
Published: (1994)

Equational logic as a programming language /
by: O'Donnell, Michael J., 1952-
Published: (1985)