Books in category Mathematics – Logic

  • Logic Program Synthesis and Transformation 5th International Volume 5

    Logic Program Synthesis and Transformation: 5th International …, Volume 5
    Maurizio Proietti

    This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.

  • Logic Programming and Nonmonotonic Reasoning

    Logic Programming and Nonmonotonic Reasoning
    Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina

  • Automated Deduction in Geometry

    Automated Deduction in Geometry
    Francisco Botana, Tomas Recio

    The papers in this volume show the lively variety of topics and methods in automated deduction in geometry, and their applicability to different branches of mathematics as well as to other sciences and technologies.

  • Theoretical Computer Science

    Theoretical Computer Science
    Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi

    This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.

  • Introduction to Logic and to the Methodology of the Deductive Sciences

    Introduction to Logic and to the Methodology of the Deductive Sciences
    Alfred Tarski

    Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic.

  • Molecular Logic based Computation

    Molecular Logic-based Computation
    A. Prasanna De Silva

    A unique book on a growing branch of chemical science which highlights the connection between information technology (engineering and biological) and chemistry.

  • Logic Based Decision Support

    Logic-Based Decision Support
    R.G. Jeroslow

    This is followed by five chapters on applied logic, expert systems, logic and databases, and complexity theory. It concludes with a summary of open research issues and an attempt to extrapolate trends in this rapidly developing area.

  • Proof Analysis

    Proof Analysis
    Sara Negri, Jan von Plato

    This book continues from where the authors' previous book, Structural Proof Theory, ended.

  • Isabelle HOL

    Isabelle/HOL
    Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

    This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002.

  • Logical Frameworks for Truth and Abstraction

    Logical Frameworks for Truth and Abstraction
    A. Cantini

    This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as …

1 2 3 4 5 Next >