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

Browsing UMT Main Campus shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	511.3 NEW- New trends in Fuzzy logic II	511.3 PAP-C Computational complexity	511.3 PRE-P Purity, spectra and localisation /	511.3 RES-L Logical methods /	511.3 RHO-B Boolean representations of simplicial complexes and matroids /	511.3 RIC-A Automata, computability and complexity :	511.3 RIC-A Automata, computability and complexity :	Next

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.