adicionar à lista de desejos
Hyperproof
For Macintosh
language: english
Publisher:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, June of 1994 ‧
see product details
OUT OF STOCK OR NOT AVAILABLE
Sell your book
SYNOPSIS
Hyperproof is a system for learning the principles of analytical reasoning and constructing proofs. It is intended for use in conjunction with a presention of the formal syntactic system of first-order propositional logic, especially the authors' software program, "Tarski's World".
DETAILS
| Property | Description |
|---|---|
| ISBN: | 9781881526117 |
| Publisher: | CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Release Date: | June of 1994 |
| Language: | English |
| Cover: | Softcover |
| Pages: | 273 |
| Format: | Book |
| Categories: |
Books in English
>
Social Sciences and Humanities
>
Philosophy
|
| EAN: | 9781881526117 |
-
Language, Proof, And Logic30%CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION71,92€
102,74€free shipping -
Logical Reasoning With Diagrams And SentencesCENTRE FOR THE STUDY OF LANGUAGE & INFORMATION41,64€
-
Language, Proof, And Logic30%CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION71,92€
102,74€free shipping -
The Situation In Logic30%CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION22,72€
32,45€free shipping