In the Light of Logic

This volume brings together a revised and annotated selection of Solomon Feferman's most important writings, covering the relation between logic and mathematics, proof theory, objectivity and intentionality in mathematics, and key issues in the work of Godel, Hilbert and Turing.

שנה

1999

שפה

English

הוצאה

Oxford University Press

מהדורות

2

עמודים

353

ISBN

9780195359831

מקור הנתונים: Wikidata