Siirry suoraan sisältöön
  1. Kirjat
  2. Englanninkieliset kirjat

Hyperproof

39,10 €

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".

ISBN
9781881526117
Kieli
englanti
Paino
612 grammaa
Julkaisupäivä
30.6.1994
Sivumäärä
273