Proof theory: sequent calculi and related formalisms (Record no. 486)

MARC details
000 -LEADER
fixed length control field 00929nam a2200301Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220912144010.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220909b |||||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781466564664 (hbk)
037 ## - SOURCE OF ACQUISITION
Terms of availability Textual
040 ## - CATALOGING SOURCE
Language of cataloging eng
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Binbo Katalin
245 #0 - TITLE STATEMENT
Statement of responsibility, etc. Binbo Katalin
Title Proof theory: sequent calculi and related formalisms
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Boca Raton
Name of publisher, distributor, etc. CRC press
Date of publication, distribution, etc. 2015
300 ## - PHYSICAL DESCRIPTION
Extent x,376p. ill.
Dimensions cm
500 ## - GENERAL NOTE
General note Appendix 354- 363p.; Bibliography 364-374p.; Index 375-376p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Classical first-order logic
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Variants of the first sequent calculi
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Proofs and proof theory
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Classification part B:(R1), Q5
Koha item type Textual
Source of classification or shelving scheme Colon Classification (CC)
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Source of acquisition Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Central Science Library Central Science Library 2022-09-12 37, 07/03/2017, Aviva Books Company   B:(R1) Q5 SL1601045 2022-09-12 2022-09-12 Textual