Your search returned 2 results.

Results
	1.	Subsystems of Second Order Arithmetic [electronic resource]. / Stephen G. Simpson. by Simpson, Stephen G Series: Perspectives in Logic Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Cambridge : Cambridge University Press, 2009 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	Tableau systems for first order number theory and certain higher order theories / Sue Toledo by Toledo, Sue, 1940- Series: Lecture notes in mathematics ; 447 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin : Springer-Verlag, 1975 Availability: Items available for loan: National Library of India (1)Call number: S.T 510.82 L 497no447. Place hold Request article Save to lists

Refine your search