Handbook of Logic in Computer Science View on Open Library

Handbook of Logic in Computer Science

by S. Abramsky

No reviews yet
First published: 1992 1 language ISBN: 9780198537816
Subjects
Symbolic and mathematical Logic Computer science Logic, symbolic and mathematical Logic programming Electronic Data Processing Informatique Logique symbolique et mathématique COMPUTERS Reference Machine Theory

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by S. Abramsky

Patterns in the structure of mammalian communities

Patterns in the structure of mammalian c...

Algebraic specification of communication protocols

Algebraic specification of communication...

Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design

Handbook of Logic in Computer Science Volume 5

Handbook of Logic in Computer Science Vo...

TAPSOFT '91

TAPSOFT '91

You Might Also Like

More in Symbolic and mathema...
Tractatus logico-philosophicus

Tractatus logico-philosophicus

Ludwig Wittgenstein
An Investigation of the Laws of Thought (Barnes & Noble)

An Investigation of the Laws of Thought ...

George Boole
Algèbre de la logique

Algèbre de la logique

Louis Couturat
The Game of Logic

The Game of Logic

Lewis Carroll
Gödel's proof

Gödel's proof

Ernest Nagel
Philosophische Untersuchungen

Philosophische Untersuchungen

Ludwig Wittgenstein