Cover Image
Read Now

Collegium Logicum

Bibliographic Details
Corporate Author: Kurt-Gödel-Gesellschaft
Format: eBook
Language:English
Published: Vienna Springer Vienna 1996, 1996
Edition:1st ed. 1996
Series:Collegium Logicum, Annals of the Kurt-Gödel-Society
Subjects:
Computation By Abstract Devices
Mathematical Logic And Formal Languages
Mathematical Logic
Algorithms
Computers
Mathematical Logic And Foundations
Mathematical Physics
Algorithm Analysis And Problem Complexity
Theoretical, Mathematical And Computational Physics
Logics And Meanings Of Programs
Computer Logic
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • Resolution Games and Non-liftable Resolution Orderings
  • A Tableau Calculus for Partial Functions
  • MUltlog: an Expert System for Multiple-valued Logics
  • A Fundamental Problem of Mathematical Logic
  • On the Lengths of Proofs of Consistency
  • The Craig Interpolation Theorem for Schematic Systems
  • The Role of Monotonicity in Descriptive Complexity Theory
  • Numbers Defined by Turing Machines

Similar Items