Computation : finite and infinite machines /

Main Author:	Minsky, Marvin L.
Format:	Book
Published:	Englewood Cliffs, NJ.: Prentice-Hall, [c1967]
Series:	Prentice-Hall series in automatic computation
Subjects:	Machine theory Logic, Symbolic and mathematical

Similar Items

Computation : finite and infinite machines /
by: Minsky, Marvin Lee, 1927-
Published: (1967)

Computation: finite and infinite machines/
by: Minsky, Marvin Lee, 1927-
Published: (1972)

Logic, computers and sets/
by: Wang, Hao
Published: (1970)

An introduction to Kolmogorov complexity and its applications/
by: Li, Ming
Published: (1997)

Elements of the theory of computation/
by: Lewis, Harry R.
Published: (1981)

Computability, complexity, and languages : fundamentals of theoretical computer science /
by: Davis, Martin D.
Published: (1994)

Computability, enumerability, unsolvability : directions in recursion theory /
Published: (1996)

Finite model theory/
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1999)

Logic and automata history and perspectives /
Published: (2008)

Automata, logics, and infinite games : a guide to current research /
Published: (2002)

Computation engineering : applied automata theory and logic /
by: Gopalakrishnan, Ganesh
Published: (2006)

Logic, computing machines, and automation/
by: Hilton, Alice Mary
Published: (1963)

Automatic verification of finite state machines using temporal logic/
by: Browne, Michael C.
Published: (1989)

Proof and computation /
Published: (1995)

Logic, language and computation/
Published: (1996)

Logic for computer scientists/
by: Schoening, Uwe
Published: (1994)

Logic for computer scientists/
by: Schoening, Uwe, 1955-
Published: (2008)

Model theory/
by: Hodges, Wilfrid, 1941-
Published: (1993)

Set theory and logic/
by: Stoll, Robert R.
Published: (1963)

Automata and computability /
Published: (1997)

Computability and logic/
by: Boolos, George S.
Published: (1989)

Foundations of computing : system development with set theory and logic /
by: Scheurer, Thierry
Published: (1994)

Logic and proof/
by: Bittinger, Marvin L.
Published: (1970)

Mathematical logic for computer science /
by: Ben-Ari, M. 1948-
Published: (1993)

Mathematical logic for computer science /
by: Ben-Ari, M., 1948-
Published: (2001)

Logic for mathematics and computer science/
by: Burris, Stanley N.
Published: (1998)

Mathematical logic for computer science/
by: Ben-Ari, M., 1948-
Published: (2001)

Mathematical logic for computer science/
by: Ben-Ari, M., 1948-
Published: (1993)

Logic for computer science/
by: Reeves, Steve, 1957-
Published: (1990)

Mathematical Epistemology and Psychology/
by: Beth, Evert W.
Published: (1966)

Popular lectures on mathematical logic /
by: Wang, Hao
Published: (1981)

A first course in logic : an introduction to model theory, proof theory, computability, and complexity /
by: Hedman, Shawn
Published: (2006)

Formale Logik/
by: Lorenzen, Paul, .L6 1970 1915-1994
Published: (1970)

Finitely axiomatizable theories/
by: Peretyatkin, Mikhail G.
Published: (1997)

Combinators λ-terms and proof theory/
by: Stenlund, Soren
Published: (1972)

Théorie des modéles en logique mathématique/
by: Daigneault, Aubert
Published: (1967)

Theorie der Verbande/
by: Gericke, Helmuth
Published: (1967)

A theory of sets /
by: Morse, Anthony P.
Published: (1965)

Lattices to logic /
by: Dubisch, Roy
Published: (1964)

The logical and set-theoretical foundations of mathematics /
by: Zulauf, A.
Published: (1969)

Cannot write session to /tmp/vufind_sessions/sess_3etupmkah0141ilp8ber4fnth3