ML-1994-05: IST is more than an Algorithm to prove ZFC Theorems

ML-1994-05: Kanovei, V. (1994) IST is more than an Algorithm to prove ZFC Theorems. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
ML-1994-05.text.pdf

Download (994kB) | Preview
Item Type: Report
Report Nr: ML-1994-05
Series Name: Mathematical Logic and Foundations (ML)
Year: 1994
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1351

Actions (login required)

View Item View Item