Subsystems of Second Order Arithmetic (Perspectives in Logic)

CUUS579-Simpson April 1, 2009 21:45 978 0 521 88439 6 This page intentionally left blank ii CUUS579-Simpson Apr...
Author:  Stephen G. Simpson

53 downloads 1290 Views 3MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

On Second-Order Logic George S. Boolos The Journal of Philosophy, Volume 72, Issue 16 (Sep. 18, 1975), 509-527 Your us...

Fferspectives in Mathematical Logic Petr Hajek Pavel Pudlak Metamathematics of First-Order Arithmetic Springer Persp...

Arithmetic and Logic in Computer Systems This Page Intentionally Left Blank Arithmetic and Logic in Computer System...