Printer Friendly

Topics in logic, philosophy and foundations of mathematics, and computer science; in recognition of professor Andrzej Grzegorczyk.

9781586038144

Topics in logic, philosophy and foundations of mathematics, and computer science; in recognition of professor Andrzej Grzegorczyk.

Ed. by S. Krajewski et al.

IOS Press

2007

365 pages

$133.00

Paperback

QA9

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.

([c]20082005 Book News, Inc., Portland, OR)
COPYRIGHT 2008 Book News, Inc.
No portion of this article can be reproduced without the express written permission from the copyright holder.
Copyright 2008 Gale, Cengage Learning. All rights reserved.

Article Details
Printer friendly Cite/link Email Feedback
Publication:SciTech Book News
Article Type:Book review
Date:Dec 1, 2008
Words:162
Previous Article:Human-machine interface design for process control applications.
Next Article:Reviews of nonlinear dynamics and complexity, v.1.
Topics:

Terms of use | Privacy policy | Copyright © 2018 Farlex, Inc. | Feedback | For webmasters