//]]>

Natural Deduction, Hybrid Systems and Modal Logics (Record no. 24180)

000 -LEADER
fixed length control field 02868nam a22004935i 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140310151501.0
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr nn 008mamaa
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100702s2010 ne | s |||| 0|eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9789048187850
978-90-481-8785-0
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number BC1-199
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 160
Edition number 23
264 #1 -
-- Dordrecht :
-- Springer Netherlands,
-- 2010.
912 ## -
-- ZDB-2-SMA
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Indrzejczak, Andrzej.
Relator term author.
245 10 - IMMEDIATE SOURCE OF ACQUISITION NOTE
Title Natural Deduction, Hybrid Systems and Modal Logics
Medium [electronic resource] /
Statement of responsibility, etc by Andrzej Indrzejczak.
300 ## - PHYSICAL DESCRIPTION
Extent XXIII, 514p.
Other physical details online resource.
440 1# - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Trends in Logic ;
Volume number/sequential designation 30
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Preliminaries -- Standard Natural Deduction -- Other Deductive Systems -- Extended Natural Deduction -- Survey of Modal Logics -- Standard Approach to Basic Modal Logics -- Beyond Basic Logics and Standard Systems -- Labelled Systems in Modal Logics -- Logics of Linear Frames -- Analytic Labelled ND and Proof Search -- Modal Hybrid Logics -- Proof Methods for MHL.
520 ## - SUMMARY, ETC.
Summary, etc This volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic and historical survey of the variety of Natural Deduction systems in Classical and Modal Logics. The second aim is to present some systems of hybrid character, mixing Natural Deduction with other kinds of proof methods (including Sequent systems, Tableaux, Resolution). Such systems tend to be more universal and effective, because of the possibility of mixing strategies of proof search from different areas. All necessary background material is provided, in particular, a detailed presentation of Modal Logics, including First-Order Modal and Hybrid Modal Logics. The deduction systems presented in the book may be of interest to working logicians, researchers on automated deduction and teachers of logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Philosophy (General).
Topical term or geographic name as entry element Logic.
Topical term or geographic name as entry element Computer science.
Topical term or geographic name as entry element Artificial intelligence.
Topical term or geographic name as entry element Algorithms.
Topical term or geographic name as entry element Logic, Symbolic and mathematical.
Topical term or geographic name as entry element Philosophy.
Topical term or geographic name as entry element Logic.
Topical term or geographic name as entry element Mathematical Logic and Foundations.
Topical term or geographic name as entry element Mathematical Logic and Formal Languages.
Topical term or geographic name as entry element Algorithms.
Topical term or geographic name as entry element Artificial Intelligence (incl. Robotics).
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element SpringerLink (Online service)
773 0# - HOST ITEM ENTRY
Title Springer eBooks
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Printed edition:
International Standard Book Number 9789048187843
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier http://dx.doi.org/10.1007/978-90-481-8785-0
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Item type E-Book
Copies
Price effective from Permanent location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Damaged status Lost status Withdrawn status Current location Full call number
2014-04-10AUM Main Library2014-04-10 2014-04-10 E-Book   AUM Main Library160