TURING''S WORLD 3.0 FOR WINDOWS by Jon Barwise ( 9781881526889 )

Item Details

Title:

TURING''S WORLD 3.0 FOR WINDOWS

Volume:

By:

Jon Barwise

Format:

Paperback

List price:	£14.95
We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10:

1881526887

ISBN 13:

9781881526889

Publisher:

CAMB.U.P.

Pub. date:

1 January, 2001

Series:

CSLI Lecture Notes S.

Pages:

134

Description:

This title introduces users to the key concepts in computability theory through a sequence of over 100 exercises and projects.

Illustrations:

index

Returns:

Returnable

Some other items by this author:

ADMISSIBLE SETS AND STRUCTURES (HB)

HYPERPROOF (PB)

INFORMATION FLOW

INFORMATION FLOW (HB)

INFORMATION FLOW (PB)

LANGUAGE OF FIRST-ORDER LOGIC (PB)

LANGUAGE OF FIRST-ORDER LOGIC, INCLUDING TARSKI''S WORLD 3.0 (MAC) (PB)

LANGUAGE OF FIRST-ORDER LOGIC, INCLUDING THE MACINTOSH PROGRAM TARSKI''S WORLD 4.0 (PB)

LANGUAGE, PROOF AND LOGIC

LOGICAL REASONING WITH DIAGRAMS (HB)

LOGICAL REASONING WITH DIAGRAMS AND SENTENCES (PB)

SITUATION THEORY AND ITS APPLICATIONS (HB)

SITUATION THEORY AND ITS APPLICATIONS: VOLUME 2 (PB)

SITUATIONEN UND EINSTELLUNGEN

SITUATIONEN UND EINSTELLUNGEN (HB)

SITUATIONS AND ATTITUDES (HB)

SITUATIONS AND ATTITUDES (PB)

TARSKI''S WORLD 3.0 (HB)

TARSKI''S WORLD 4.0 FOR MACINTOSH (PB)

TARSKI'S WORLD

TARSKI'S WORLD 4.0 FOR MS WINDOWS (PB)

THE CONCEPT OF LOGICAL CONSEQUENCE (PB)

THE LIAR (PB)

THE SITUATION IN LOGIC (HB)

THE SITUATION IN LOGIC (PB)

THE SYNTAX AND SEMANTICS OF INFINITARY LANGUAGES (PB)

TURING''S WORLD 3.0 FOR MAC (PB)

VICIOUS CIRCLES (HB)

VICIOUS CIRCLES (PB)

Information provided by www.pickabook.co.uk