Logika : neúplnost, složitost a nutnost

Mehr zum Buch

Učebnice logiky, která vede čtenáře od výrokové logiky přes predikátovou logiku k metamatematice aritmetiky, autoreferenci a (některým) neklasickýmMehr lesen