Amazon cover image
Image from Amazon.com

Logical Methods

By: Contributor(s): Material type: TextTextPublication details: Cambridge, Massachusetts : The MIT Press, 2023Description: 270 pages; 26 cmISBN:
  • 9780262544849
Subject(s): 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

"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.