martin-lof icon indicating copy to clipboard operation
martin-lof copied to clipboard

Published 20 hours ago • verified publisher icon michaelt

wrong file in The two interpretations of natural deduction: how do they fit together?*

Open vcvpaiva opened this issue 1 year ago • 0 comments

The file is correct in the Czech site https://pml.flu.cas.cz/uploads/PML-Tubingen28Nov15.pdf (Talks given at Tübingen, 28 November) but it seems to have been miscopied it here.

vcvpaiva avatar Feb 03 '24 21:02 vcvpaiva