Logika : neúplnost, složitost a nutnost

More about the book

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ýmRead more