Logical Methods (Record no. 14290)

MARC details
000 -LEADER
fixed length control field 00755nam a22002057a 4500
003 - CONTROL NUMBER IDENTIFIER
control field BDCtgAUW
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20250509172222.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 250509b bg ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780262544849
040 ## - CATALOGING SOURCE
Original cataloging agency BDCtgAUW
Transcribing agency BDCtgAUW
Modifying agency BDCtgAUW
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC71 .R4735
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Restall, Greg
Relator term Author
9 (RLIN) 76988
245 ## - TITLE STATEMENT
Title Logical Methods
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge, Massachusetts :
Name of publisher, distributor, etc. The MIT Press,
Date of publication, distribution, etc. 2023
300 ## - PHYSICAL DESCRIPTION
Extent 270 pages;
Dimensions 26 cm
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"
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic
Form subdivision Textbooks
9 (RLIN) 76989
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Standefer, Shawn
Relator term Author
9 (RLIN) 76990
887 ## - NON-MARC INFORMATION FIELD
Source of data 8
Content of non-MARC field Papia Akter
888 ## -
-- 8
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Library of Congress Classification
Koha item type Books
Suppress in OPAC No
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
    Library of Congress Classification     Asian University for Women Library Asian University for Women Library General Stacks 07/05/2025 Kamal Ahmad (AUWSF)   BC71 .R4735 031756 09/05/2025 09/05/2025 Books