Cover Image

Turing's World 3.0 for the Macintosh: an introduction to computability theory/

Main Author:	Barwise, Jon
Other Authors:	Etchemendy, John,
Format:	Book
Language:	English
Published:	Stanford, Calif.: CSLI Publications, Center for the Study ofLanguage and Information, c1993
Series:	CSLI lecture notes 35
Subjects:	Computer science Logic, Symbolic and mathematical

Similar Items

Tarski's world 3.0, including the Macintosh program/
by: Barwise, Jon
Published: (1991)

Handbook of logic in computer science /
Published: (1992)

ACM transactions on computational logic A3
Published: (2000)

ACM transactions on computational logic.
Published: (2000)

Hyperproof /
by: Barwise, Jon
Published: (1994)

Logic for applications
by: Nerode, Anil
Published: (1997)

Computation as logic /
by: Lalement, Rene
Published: (1993)

Computation as logic/
by: Lalement, Rene
Published: (1993)

Proof and computation /
Published: (1995)

Solving higher-order equations :from logic to programming /
by: Prehofer, Christian 1967-
Published: (1998)

Handbook of logic in computer science/
Published: (1992)

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

Norms, logics and information systems : new studies in deontic logic and computer science /
by: McNamara, P.
Published: (1999)

Computer science logic : 5th Workshop, CSLʹ91 Berne, Switzerland, October 1991, Proceedings /
Published: (1992)

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Journal of logic and computation
Published: (1990)

Mathematical logic : foundations for information science /
by: Li, Wei, 1943-
Published: (2010)

A framework for definining logics/
by: Harper, Robert
Published: (1989)

Some extensions to semantic tableaux/
by: Reeves, S.
Published: (1989)

A review of several programs for the support of logics/
by: Goldson, D.
Published: (1991)

Distributed tableau theorem proving/
by: Johnson, Robert
Published: (1991)

Logic representation/
by: Harper, Robert Almer, 1862-1946

A logic of authentication/
by: Burrows, Michael
Published: (1989)

Frontiers of combining systems: : first international workshop, Munich, March 1996/
Published: (1996)

Background : mathematical structures /
Published: (1992)

Semantic structures /
Published: (1994)

Semantic modelling /
Published: (1995)

Εφαρμογές της λογικής στην πληροφορική
by: Στεφανέας, Πέτρος.
Published: (2015)

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

Logic programming : formal methods and practical applications /
Published: (1995)

A formalization of the C - 0 propositional calculus/
by: Rose, Alan
Published: (1951)

Programming with turing and object oriented turing /
by: Grogono, Peter.
Published: (1995)

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Go?del ʹ96 : logical foundations of mathematics, computer science and physics - Kurt Go?delʹs legacy /
Published: (1996)

The essence of logic/
by: Kelly, John J., -1995
Published: (1997)

Advances in contemporary logic and computer science : Proceedings of the eleventh Brazilian Conference on Mathematical Logic May 6-10, 1996 Salvador, Bahia, Brazil /
Published: (1999)

The computer modelling of mathematical reasoning/
by: Bundy, Alan
Published: (1983)

Μαθηματική λογική για υπολογιστές/
by: Κολέτσος, Γ.
Published: (1988)

Handbook of logic in artificial intelligence and logic programming /
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_pgvdf1shnhrjto9qbqp6v42qc0