Sciweavers

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

8

BSL
2010

favoriteEmaildiscussreport

100views Information Technology» more BSL 2010»

Reverse mathematics: the playground of logic

13 years 1 months 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)