| Type |  Book |
| ชื่อเรื่อง | Subsystems of second order arithmetic / Stephen G. Simpson |
| ผู้แต่ง | Simpson, Stephen g |
| ISBN | 052188439X |
| | 9780521884396 |
| พิมพลักษณ์ | Cambridge : Cambridge University Press, c2009 |
| ครั้งที่พิมพ์ | 2nd ed |
| รูปเล่ม | 444 p. : ill |
| หัวเรื่อง | Model theory |
| | Predicate calculus |