Advances in natural deduction : (Record no. 676391)

000 -LEADER
fixed length control field 02201cam a2200337Ia 4500
001 - CONTROL NUMBER
control field ocn871306989
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20170517114433.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field ta
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 170405s2014 ne b 010 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789400775473 (hbk.)
International Standard Book Number 9400775474 (hbk.)
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)871306989
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC108
Item number .A38 2014
245 00 - TITLE STATEMENT
Title Advances in natural deduction :
Remainder of title a celebration of Dag Prawitz's work /
Statement of responsibility, etc Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Dordrecht :
Name of publisher, distributor, etc Springer,
Date of publication, distribution, etc ©2014.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 279 p. ;
Dimensions 25 cm.
490 1# - SERIES STATEMENT
Series statement Trends in logic ;
Volume number/sequential designation 39
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references.
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Chapter 1. Generalizaed elimination inferences; Schroeder-Heister, Peter -- Chapter 2. Revisiting Zucker's work on the Correspondence between Cut-Elimination and Normalisation; Urban, Christian -- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste -- Chapter 4. Natural Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G -- Chapter 5. Proof-theoretical Conception of Logic; Legris, Javier -- Chapter 6. On the Structure of Natural deduction Derivations for "Generally"; Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sheila R.M -- Chapter 7. Type Theories from Barendregt's Cube for Theorem Provers; Seldin, Jonathan P -- Chapter 8. What is propositional logic, a theory of, if anything?; Chateaubriand, Oswaldo -- Chapter 9. Categorical Semantics of Linear Logic for All; de Paiva, Valeria -- Chapter 10. Rough sets and proof-theory; Bellin, Gianluigi -- Chapter 11. Decomposition of Reduction; Zimmermann, Ernst -- Chapter 12. An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited; Prawitz, Dag.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic.
9 (RLIN) 181061
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Pereira, Luiz Carlos.
9 (RLIN) 765555
Personal name Haeusler, Edward Hermann.
9 (RLIN) 765556
Personal name De Paiva, Valeria.
9 (RLIN) 765557
Personal name Prawitz, Dag.
9 (RLIN) 559910
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Trends in logic ;
Volume number/sequential designation v. 39.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Book
948 ## - LOCAL PROCESSING INFORMATION (OCLC); SERIES PART DESIGNATOR (RLIN)
h (OCLC) HELD BY TULIB - 18 OTHER HOLDINGS
994 ## - [Tag from OCLC Connexion]
- Z0
-- TULIB
997 ## - STAFF NAME
ผู้ทำรายการ VB
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Item status (Not for loan) Collection code Permanent Location Current Location Shelving location Date acquired Source of acquisition Cost, normal purchase price Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
Not withdrawn Not Lost   Not damaged   General Books Pridi Banomyong Library Pridi Banomyong Library General Stacks 2017-04-05 116 5084.00 BC108.A38 2014 31379015399703 2018-06-18 10268.00 2017-04-05 Book

Thammasat University Library
2 Prachan Road, Phranakorn, Bangkok 10200
Tel: 662 613-3544 (Pridi Banomyong Library, Circulation Desk)
Tel: 662 564-4444 ext. 1305 (Puey Ungphakorn Library (Rangsit Campus), Circulation Desk)