Saved from the cellar : Gerhard Gentzen's shorthand notes on logic and foundations of mathematics / Jan von Plato

Date : 2017

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 978-3-319-42119-3

EAN : 9783319421193

Gentzen -- Gerhard -- 1909-1945

Mathématiques -- Philosophie

Logique mathématique

Théorie de la démonstration

Plato, Jan von (1951-....) (Auteur / author)

Collection : Sources and studies in the history of mathematics and physical sciences / editorial board J. Z. Buchwald, J. Lützen, G. J. Toomer... [et al.] / New York : Springer , 199?-