Search results for ‘Heinz-Dieter Ebbinghaus,Joerg Flum,Wolfgang Thomas’

Filter & Refine

      Cover image for Einfuhrung in Die Mathematische Logik
      Paperback
      Add to list Added to list

      Einfuhrung in Die Mathematische Logik

      Heinz-Dieter Ebbinghaus,Joerg Flum,Wolfgang Thomas

      Einleitung.- Syntax der Sprachen erster Stufe.- Semantik der Sprachen erster Stufe.- Ein Sequenzenkalkul.- Der Vollstandigkeitssatz.- Der Satz von Loewenheim und Skolem und der Endlichkeitssatz.- Zur Tragweite der ersten Stufe.- Syntaktische…

      $105.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Finite Model Theory: Second Edition
      Hardback
      Add to list Added to list

      Finite Model Theory: Second Edition

      Heinz-Dieter Ebbinghaus,Joerg Flum

      This is a thoroughly revised and enlarged second edition that presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and…

      $489.99

      Available to order, ships in 7-14 daysAvailable to order

      Paperback
      Add to list Added to list

      Mathematical Logic

      Heinz-Dieter Ebbinghaus,Joerg Flum,Wolfgang Thomas

      This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method…

      $138.99

      Available to order, ships in 7-14 daysAvailable to order

      Hardback
      Add to list Added to list

      Mathematical Logic

      Heinz-Dieter Ebbinghaus,Joerg Flum,Wolfgang Thomas

      This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method…

      $198.99

      Available to order, ships in approx 2 weeksAvailable to order