Logika : neúplnost, složitost a nutnost

Více o knize

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ýmČíst více