LIBROS DEL AUTOR: walter felscher

4 resultados para LIBROS DEL AUTOR: walter felscher

walter felscher Eliminar filtro Quitar filtros
  • Logic of Arithmetic
    Walter Felscher
    For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulaas. This volume begins with a method to decide this for the quantified formulas of those fragments of arithmetic which express the properties of order-plus-successor and of order-plus-addition (Pressburger arithmetic). It makes use of an algorithm eliminating quantifier...
    Disponible

    120,29 €

  • Lectures on Mathematical Logic, Volume II
    Walter Felscher
    This volume is a combinatorial study of derivations and deductions. The author’s approach is syntactical and builds from Gentzen’s basic ideas into logical rules and a calculus of deductive situations. The book concludes with the algorithms producing the results of Gentzen’s midsequent theorem and Herbrand’s theorem for prenex formulas.In this volume, logic starts from the obse...
    Disponible

    120,17 €

  • Berechenbarkeit
    Walter Felscher
    Dieses Lehrbuch behandelt verständlich, umfassend und modern die Theorie der Berechenbarkeit, ein klassisches Gebiet der Mathematischen Logik, das als Grundlagengebiet auch für die Informatik von höchster Bedeutung ist. Lebendig und didaktisch klar wird das Studium der berechenbaren Funktionen auf dem Programmbegriff aufgebaut. Dabei sind die Induktio...
    Disponible

    83,73 €

  • Adjungierte Funktoren Und Primitive Klassen
    Walter Felscher
    ...
    Disponible

    72,82 €