Library Banner

Logical methods / (Record no. 141247)

MARC details
000 -LEADER
fixed length control field 00810nam a22002177a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20260622142036.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 260622s2023 |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262544849
040 ## - CATALOGING SOURCE
Transcribing agency PK-LaUMT
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Item number RES-L
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Greg, Restall
245 10 - TITLE STATEMENT
Title Logical methods /
Statement of responsibility, etc Greg Restall and Shawn Standefer
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge :
Name of publisher, distributor, etc The MIT Press,
Date of publication, distribution, etc 2023
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 270 p.
500 ## - GENERAL NOTE
General note Includes bibliographical references and index.
520 ## - SUMMARY, ETC.
Summary, etc "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
546 ## - LANGUAGE NOTE
Language note Eng
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic-textbooks
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Standefer, Shawn
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Home library Current library Date acquired Full call number Barcode Date last seen Price effective from Koha item type
      UMT Main Campus UMT Main Campus 2026-06-22 511.3 RES-L 153146 2026-06-22 2026-06-22 Books