Foundations of Intuitionistic Logic / G. Kreisel
Material type: ArticleLanguage: English Subject(s): Lógica Intuicionista In: Logic, Methodology and Philosophy of Science : Proceedings of the 1960 International Congress / Ernest Nagel, Patrick Suppes, Alfred Tarski , págs. 198-210Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Artículo de colaboración | San Esteban Depósito de libros | 25/A6 (Browse shelf (Opens below)) | Available |