Logika : neúplnost, složitost a nutnost

Viac o knihe

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ýmPrečítať viac