Obálka

The logic of provability

Podrobná bibliografie
Hlavní autor: Boolos, George (Autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Cambridge, England Cambridge University Press 1993.
Témata:
Modality (Logic)
Proof theory.