Back to Results
First PageMeta Content
Mathematical proof / Proof theory / Philosophy of mathematics / Automated theorem proving / Theorem / Quasi-empiricism in mathematics / Four color theorem / Proof / KeY / Mathematics / Logic / Mathematical logic


Document Date: 2011-09-26 03:04:02

Open Document

File Size: 39,43 KB

Share Result on Facebook

Company

Key Curriculum Press / Mathematical Reviews / Donaldson / /

IndustryTerm

indispensable tool / deductive systems / /

Organization

University of Durban-Westville / Association for Mathematics Education of South Africa / /

Person

Van Hiele / George Polya / Johnson-Laird / Van Dormolen / Paul Halmos / /

Position

author / editor / mathematician / speaker / /

PublishedMedium

the Mathematical Reviews / /

Region

South Africa / /

SocialTag