Reverse mathematics - PDFSEARCH.IO - Document Search Engine

Reverse mathematics
Results: 109

#	Item
101	PDF Document Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-04-19 05:02:19 Mathematics Mathematical optimization Combinatorial auction Auction Spectrum auction Combinatorial optimization Reverse auction Linear programming relaxation Covering problem Auction theory Auctioneering Business
102	PDF Document Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2008-01-04 17:28:09 Computability theory Logic in computer science Proof theory Computational complexity theory Propositional proof system Decision problem ACC0 First-order logic Reverse mathematics Theoretical computer science Mathematical logic Mathematics
103	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-06-21 21:33:01 Metric geometry General topology Calculus Constructive analysis Constructivism Cauchy sequence Errett Bishop Continuous function Reverse mathematics Mathematics Topology Mathematical analysis
104	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-11-18 18:14:48 Computability theory Effective descriptive set theory Functions and mappings Function Reverse mathematics Second-order arithmetic Constructivism Impredicativity Peano axioms Mathematics Mathematical logic Logic
105	PDF Document Add to Reading List Source URL: h10010.www1.hp.com Language: English - Date: 2011-08-25 17:12:30 Mathematical notation Office equipment Computing Mathematics HP-10C series Reverse Polish notation Financial calculator Chartered Financial Analyst Hewlett-Packard Technology Programmable calculators Calculators
106	PDF Document Add to Reading List Source URL: www.hpcc.org Language: English - Date: 2007-07-18 17:46:27 Computing HP 33s HP-41C Reverse Polish notation Mathematics Calculator Processor register HP calculators Programmable calculators HP 35s Technology
107	PDF Document Add to Reading List Source URL: hlombardi.free.fr Language: English - Date: 2005-07-12 11:30:13 Metric geometry General topology Calculus Constructive analysis Constructivism Cauchy sequence Errett Bishop Continuous function Reverse mathematics Mathematics Topology Mathematical analysis
108	PDF Document Add to Reading List Source URL: www.educalc.net Language: English Computing Mathematics Mathematical notation Office equipment Graphing calculators HP calculators HP-42S Reverse Polish notation HP-41C Programmable calculators Technology Calculators
109	PDF Document Add to Reading List Source URL: thomasokken.com Language: English - Date: 2010-12-10 00:12:08 Technology HP-42S HP-41C HP calculators HP-32S HP-20S Calculator Reverse Polish notation Scientific calculator Programmable calculators Computing Mathematics

UPDATE