WorldCat Identities

Zelëny, Michael

Overview
Works: 2 works in 13 publications in 1 language and 156 library holdings
Roles: Editor
Classifications: BC135, 511.3
Publication Timeline
.
Most widely held works by Michael Zelëny
Logic, meaning, and computation : essays in memory of Alonzo Church by C. Anthony Anderson( Book )

12 editions published in 2001 in English and held by 113 WorldCat member libraries worldwide

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields
The collected works of Alonzo Church by Alonzo Church( Book )

1 edition published in 2004 in English and held by 1 WorldCat member library worldwide

 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.71 (from 0.71 for Logic, mea ... to 0.75 for The collec ...)

WorldCat IdentitiesRelated Identities
Logic, meaning, and computation : essays in memory of Alonzo Church
Languages
English (13)

Covers