adicionar à lista de desejos
Hyperproof
For Macintosh
idioma: inglês
Editor:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, junho de 1994 ‧
ver detalhes do produto
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
SINOPSE
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".
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781881526117 |
| Editor: | CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION |
| Data de Lançamento: | junho de 1994 |
| Idioma: | Inglês |
| Encadernação: | Capa mole |
| Páginas: | 273 |
| Tipo de produto: | Livro |
| Classificação Temática: |
Livros em Inglês
>
Ciências Sociais e Humanas
>
Filosofia
|
| EAN: | 9781881526117 |
-
Language, Proof, And Logic30%CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION71,92€
102,74€portes grátis -
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€portes grátis -
The Situation In Logic30%CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION22,72€
32,45€portes grátis