Natural Deduction, Hybrid Systems and Modal Logics

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 Class...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Indrzejczak, Andrzej (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Trends in Logic, Studia Logica Library, 30
Subjects:
Logic.
Computer science.
Artificial intelligence.
Mathematical logic.
Machine theory.
Algorithms.
Theory of Computation.
Artificial Intelligence.
Mathematical Logic and Foundations.
Formal Languages and Automata Theory.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items