Feferman, Solomon.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Proofs, categories and computations : = essays in honor of Grigori Mints / by: Feferman, Solomon.; Mints, G. E.; Sieg, Wilfried, (1945-.) (Language materials, printed)

Kurt Gödel : = essays for his centennial / by: Feferman, Solomon.; Parsons, Charles, (1933-); Simpson, Stephen G. (1945-); Gödel, Kurt. (Language materials, printed)

Subjects

Logic, Symbolic and mathematical. Proof theory. Computer science