Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science: In Recognition of Professor Andrzej Grzegorczyk - Softcover

Softcover

ISBN 10: 1586038141 ISBN 13: 9781586038144

Verlag: IOS Press, 2008

Inhaltsangabe

Krajewski (Warsaw U.) and colleagues at Polish and US academic institutions pay tribute to Grzegorczyk, considered the father of Polish logicians, on the occasion of his 85th birthday. His textbook, An Outline of Mathematical Logic (1961), introduced many of the authors to the subject. Following a biographical sketch and summary of Grzegorczyk's contributions to the foundations of mathematics and view that rational standards can be applied to moral issues, 21 essays treat topics relating to his contributions in logic, e.g., the Grzegorczyk hierarchy, the geometry of solids, results about indecidability, recursive computabiliy, and the S4Grz system or semantics for intuitionistic logic. This book version of a special edition of Fundamenta Informaticae, v. 81, 1-3 (2007), includes a list of his publications. Annotation ©2008 Book News, Inc., Portland, OR (booknews.com)

Details zur Ausgabe

• Verlag: IOS Press
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 1586038141
• ISBN 13: 9781586038144
• Einband: Taschenbuch
• Anzahl der Seiten: 376
• Herausgeber: Krajewski S., Marek W., Mirkowska G., Salwicki A., Wolenski J.
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar