Mathematical Problems from Applied Logic II: Logics for the XXIst Century by Dov
126,91 €
Subtitle Logics for the XXIst Century. On Two Models of Provability: Provability Logic, Logic of Proofs. - Computability and Computable Models: Preliminaries, Bounds for Computable Models, Structure Complexity of Computable Models, Isomorphism Problem, Classes of Computable Models and Index Sets.
Jetzt bei Ebay:
