35986841_10216840653711318_1105697261150535680_n

Elements of logical reasoning / (Record no. 3345)

MARC details
000 -LEADER
fixed length control field 02806cam a2200385 i 4500
001 - CONTROL NUMBER
control field 17897077
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20181213090823.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 130924s2013 enka b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2013039013
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781107036598 (hardback)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781107610774 (paperback)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Language of cataloging eng
Transcribing agency DLC
Description conventions rda
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA9
Item number .V66 2013
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
Edition number 23
084 ## - OTHER CLASSIFICATION NUMBER
Classification number MAT018000
Source of number bisacsh
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Von Plato, Jan,
Relator term author.
245 10 - TITLE STATEMENT
Title Elements of logical reasoning /
250 ## - EDITION STATEMENT
Edition statement 1st ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge ;
-- New York :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc 2013.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE STATEMENTS
Place of production, publication, distribution, manufacture Cambridge ;
Name of producer, publisher, distributor, manufacturer Cambridge University Press,
Date of production, publication, distribution, manufacture 2013.
300 ## - PHYSICAL DESCRIPTION
Extent ix, 264 pages :
Other physical details illustrations ;
Dimensions 25 cm
336 ## - CONTENT TYPE
Content Type Term text
Source rdacontent
337 ## - MEDIA TYPE
Media Type Term unmediated
Source rdamedia
338 ## - CARRIER TYPE
Carrier Type Term volume
Source rdacarrier
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (pages 256-260) and indexes.
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note Machine generated contents note: Part I. First Steps in Logical Reasoning: 1. Starting points; 2. Rules of proof; 3. Natural deduction; 4. Proof search; 5. Classical natural deduction; 6. Proof search in classical logic; 7. The semantics of propositional logic; Part II. Logical Reasoning with the Quantifiers: 8. The quantifiers; 9. Derivations in predicate logic; 10. The semantics of predicate logic; Part III. Beyond Pure Logic: 11. Equality and axiomatic theories; 12. Elements of the proof theory of arithmetic; Part IV. Complementary Topics: 13. Normalization and cut elimination; 14. Deductive machinery from Aristotle to Heyting.
520 ## - SUMMARY, ETC.
Summary, etc "Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premisses have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even if the principles behind it remain intuitive. Jan von Plato provides an accessible but rigorous introduction to an important aspect of contemporary logic: its deductive machinery. He shows that when the forms of logical reasoning are analysed, it turns out that a limited set of first principles can represent any logical argument. His book will be valuable for students of logic, mathematics, and computer science"--
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Reasoning.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element MATHEMATICS / Logic.
Source of heading or term bisacsh
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ecip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Shelving location Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
          Centeral Library Centeral Library Second Floor - Engineering & Architecture 16.11.2016   511.3 V.J.E 2013 23801 16.11.2016 16.11.2016 Books