haku: @supervisor Liinaharja, Markku / yhteensä: 130
viite: 23 / 130
| Tekijä: | García, Jesús |
| Työn nimi: | An approach to proof theory and the scope of mathematics |
| Julkaisutyyppi: | Kandidaatintyö |
| Julkaisuvuosi: | 2013 |
| Sivut: | 26 Kieli: eng |
| Koulu/Laitos/Osasto: | Sähkötekniikan korkeakoulu |
| Koulutusohjelma: | Tietoliikennetekniikan koulutusohjelma |
| Oppiaine: | Tietoliikenteen matemaattiset menetelmät (S3023) |
| Valvoja: | Liinaharja, Markku |
| Ohjaaja: | Liinaharja, Markku |
| Elektroninen julkaisu: | http://urn.fi/URN:NBN:fi:aalto-201401231196 |
| Sijainti: | |
| Avainsanat: | Proof theory, Scope of Mathematics |
| ED: | 2014-01-27 |
INSSI tietueen numero: 48519
+ lisää koriin
INSSI