Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals

ebook img
Author:Horská, Anna
Language:English
Release year:2014
File size:3.231 MB
Number of page:81

Similar Where is the Gödel-point hiding : Gentzen's consistency proof of 1936 and his representation of constructive ordinals

We use cookies

We use cookies to ensure you get the best browsing experience on our website. By clicking "Accept Cookies", you agree that we can store cookies on your device in accordance with our Terms and Privacy.