Logical Methods

By:

Restall, Greg [Author]

Contributor(s):

Standefer, Shawn [Author]

Material type: Text

TextPublication details: Cambridge, Massachusetts : The MIT Press, 2023Description: 270 pages; 26 cmISBN:

9780262544849

Subject(s):

Logic -- Textbooks

LOC classification:

BC71 .R4735

Summary: "An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"

Holdings
Item type	Current library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Books	Asian University for Women Library	General Stacks	BC71 .R4735 (Browse shelf(Opens below))	Available		031756

Total holds: 0

Browsing Asian University for Women Library shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)

Previous						No cover image available		Next
Previous	BC50.F63 Understanding Arguments: An Introduction to Informal Logic	BC57.H86 The Connectives	BC71.P75 Logic: A Very Short Introduction	BC71 .R4735 Logical Methods	BC71.S45 Buddhist Logic	BC108D6 Beginners' Logic	BC108.K59 Fuzzy Thinking: The New Science of Fuzzy Logic	Next

"An advanced-level logic textbook that presents proof construction on equal footing with model building. Potentially relevant to students of mathematics and computer science as well"

There are no comments on this title.

to post a comment.