Language, proof, and logic : text/software package :: Jon Barwise :: ISBN 157586374X :: CSLI Publications 2002 :: OBNB, the Open British National Bibliography

Publication Data

Title Language, proof, and logic : text/software package
Author Jon Barwise
Contributor John Etchemendy
Publisher CSLI Publications
Publication date 2002
Publication location Stanford, Calif.
Language English

Descriptive Notes

Title from container.
Contents of disc include updated version of Tarski's World program, Fitch (program), Boole (program), Submit (online grading facility) and the textbook in Adobe PDF format.
Includes indexes.

Topics

012278571

Catalogue Data

OBNB ID GBA350607
ISBN 10 157586374X
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 160

ISBD

P1053

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Language, proof, and logic : text/software package by Jon Barwise. ISBN 157586374X. Published by CSLI Publications in 2002. Publication and catalogue information, links to buy online and reader comments.