Zoekresultaten
Resultaat 1 - 2 (van 2)
Leon Horsten Eindig, oneindig, meer dan oneindig
grondslagen van de wiskundige wetenschappen
Filosofie van de wiskunde, gebaseerd op de grondslagenstudies van de wiskunde en de computerwetenschappen.
Non-fictie
Nederlands | 203 pagina's | Epsilon Uitgaven, Utrecht | 2004
Gedrukt boek
G.I. Jojgov Incomplete proofs and terms and their use in interactive theorem proving
Non-fictie
Engels | 167 pagina's | Technische Universiteit Eindhoven, Eindhoven | 2004
Gedrukt boek