An approach to proof theory and the scope of mathematics
No Thumbnail Available
Journal Title
Journal ISSN
Volume Title
Sähkötekniikan korkeakoulu |
Bachelor's thesis
Electronic archive copy is available locally at the Harald Herlin Learning Centre. The staff of Aalto University has access to the electronic bachelor's theses by logging into Aaltodoc with their personal Aalto user ID. Read more about the availability of the bachelor's theses.
Author
Date
2013-12-31
Department
Major/Subject
Tietoliikenteen matemaattiset menetelmät
Mcode
S3023
Degree programme
Tietoliikennetekniikka TLT
Language
en
Pages
26
Series
Description
Supervisor
Liinaharja, MarkkuThesis advisor
Liinaharja, MarkkuKeywords
Proof theory, Scope of Mathematics