Apostolos Doksiadis ja Khristos H. Papadimitrou: Logicomix

Formaalia logiikkaa pidetään Aristoteleen kehittämänä, ja hän säilyikin merkittävimpänä loogikkona aina 1800-luvulle asti. Samoihin aikoihin alettiin oikeastaan ensi kerran sitten Eukleideen todella haastaa matemaattisen totuuden perusteita, kaikkien päättelyiden pohjaa. Syntyi liike, jonka agendana oli matematiikan perusteiden etsintä. Joukko-opin... Lue koko vinkki »
Samuel Davidkin: Rautakupoli – Kevään hengästyttävin romaani – Osta Suomalaisesta kirjakaupasta
Samuel Davidkin: Rautakupoli – Kevään hengästyttävin romaani – Osta Suomalaisesta kirjakaupasta