This two-volume collection contains Paulo Ribenboim’s work on ordered structures and mathematical logic. Two long unpublished papers and a reproduction of his

This two-volume collection contains Paulo Ribenboim’s work on ordered structures and mathematical logic. Two long unpublished papers and a reproduction of his

Well-Structured Mathematical Logic does for logic what Structured Programming did for computation: make large-scale work possible. From the work of George Boole

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that