Logical methods / Greg Restall and Shawn Standefer

By:

Greg, Restall

Contributor(s):

Standefer, Shawn

Material type:

TextPublication details: Cambridge : The MIT Press, 2023Description: xiv, 270 pISBN:

9780262544849

Subject(s):

Logic-textbooks

DDC classification:

511.3 RES-L

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"-- Provided by publisher

Item type:

Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Barcode
UMT Main Campus	511.3 RES-L (Browse shelf(Opens below))	Available	153146

Includes bibliographical references and index.

"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"-- Provided by publisher

Eng

There are no comments on this title.

to post a comment.