Cantitate/Preț
Produs

Specificații

ISBN-13: 9783211826461
ISBN-10: 3211826467
Pagini: 136
Ilustrații: VII, 122 p. 2 illus.
Dimensiuni: 170 x 244 x 7 mm
Greutate: 0.23 kg
Ediția:Softcover reprint of the original 1st ed. 1995
Editura: SPRINGER VIENNA
Colecția Springer
Seria Collegium Logicum

Locul publicării:Vienna, Austria

Public țintă

Research

Cuprins

The Last Months of Gerhard Gentzen in Prague.- Some Issues on Gödel’s Unpubhshed Philosophical Manuscripts.- Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie.- Existenz und Negation in Mathematik und Logik.- Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse.- Automated Deduction and Integer Programming.- Methods of Functional Extension.