Hyperproof /

Main Author:	Barwise, Jon
Other Authors:	Etchemendy, John, Allwein, Gerard,, Greaves, Mark, Lenz, Michael, Etchemendy, John,, Allwein, Gerard
Format:	Book
Published:	Stanford, CA.: CSLI Publications, c1994
Series:	CSLI lecture notes ; no. 42
Subjects:	Computer science Logic, Symbolic and mathematical Hyperproof Macintosh (Computer) Computers

Similar Items

Turing's World 3.0 for the Macintosh: an introduction to computability theory/
by: Barwise, Jon
Published: (1993)

Conflict Catcher 4 : user guide /
by: Bieser, Gregg
Published: (1997)

1002 εφαρμογές για τον Macintosh /
by: Sawusch, Mark R.
Published: (1990)

Εγχειρίδιο του Macintosh /
by: Rose, Carla
Published: (1992)

Semantic structures /
Published: (1994)

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

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

Background : mathematical structures /
Published: (1992)

Semantic modelling /
Published: (1995)

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

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

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)

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

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

Constructive logics/
by: Gallier, Jean
Published: (1991)

Explicit substitutions/
Published: (1990)

MacUser
Published: (1984)

ACM transactions on computational logic.
Published: (2000)

ACM transactions on computational logic A3
Published: (2000)

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

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

Inside Macintosh Networking
Published: (1994)

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

The little Mac book/
by: Williams, Robin, 1953-
Published: (1990)

Que's big Mac book/
by: Salkind, Neil J.
Published: (1992)

The Apple Macintosh book/
by: Lu, Cary, 1945-
Published: (1992)

Insanely great : the life and times of Macintosh, the computer that changed everything /
by: Levy, Steven.
Published: (1995)

Voodoo Mac: : tips & tricks with an attitude/
by: Nelson, Kay Yarborough
Published: (1993)

Dvorak's inside track to the Mac/
by: Dvorak, John
Published: (1992)

Macintosh game animation/
by: Person, Ron
Published: (1985)

Macs for dummies/
by: Pogue, David
Published: (1992)

Using MacWrite and MacPaint/
by: Field, Tim, 1957-
Published: (1984)

Web development with the Mac
by: Vegh, Aaron.
Published: (2010)

Macs for dummies
by: Baig, Edward C.
Published: (2013)

Cannot write session to /tmp/vufind_sessions/sess_epblsbkfjdo27u3gnc72i0gs65