Matemáticas intuicionistas

Thinking about mathematics: the philosophy of mathematics

by Shapiro, Stewart

0 Type: Book

Choice sequences: a chapter of intuitionistic mathematics

by Troelstra, A. S.

fromOxford logic guide

0 Type: Book

Elements of intuitionism

by Dummett, Michael Anthony Eardley

fromOxford logic guides

0 Type: Book

Elements of intuitionism

by Dummett, Michael A. E.

fromOxford science publications

0 Type: Book

Elements of intuitionism

by Dummett, Michael

fromOxford logic guides

0 Type: Book

Brouwer's intuitionism

by Stigt, Walter P. van

fromStudies in the History and Philosophy of Mathematics

0 Type: Book

Brouwer's intuitionism

by Stigt, Walter P. van

fromStudies in the History and Philosophy of Mathematics

0 Type: Book

Automated Proof Search in Non-Classical Logics: Efficient Matrix Proof Methods for Modal and Intu…

by Wallen, Lincoln A.

fromMIT Press series in artificial intelligence

0 Type: Book

Proof search in classical sequent calculi - Matrix characterisation of classical logic - Semantics and proof theory of modal logics - Proof search in modal sequent calculi - Matrix characterisation of modal logics - Matrix-based proof search - Alternative proof methods - A matri…