Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

89

BSL
2010

100views Information Technology» more BSL 2010»

Reverse mathematics: the playground of logic

15 years 8 days ago

Reverse mathematics: the playground of logic

Download www.math.cornell.edu

Richard A. Shore

Real-time Traffic

BSL 2010 | Information Technology |

claim paper

Related Content

» Reverse Mathematics and Recursive Graph Theory

» Separation Logic Adapted for Proofs by Rewriting

» Realization of Digital Fuzzy Operations Using MultiValued Fredkin Gates

» Nonstandard arithmetic and recursive comprehension

» Generalized Lr Parsing Algorithm for Boolean Grammars

» Using Proofs by Coinduction to Find Traditional Proofs

» Abstraction of Object Graphs in Program Verification

Post Info
More Details (n/a)

Added	28 Feb 2011
Updated	28 Feb 2011
Type	Journal
Year	2010
Where	BSL
Authors	Richard A. Shore

Comments (0)