Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Hyperproof

367 kr
Lägsta pris på PriceRunner

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
Språk
engelska
Vikt
612 gram
Utgivningsdatum
1994-06-30
Sidor
273