Logic and Scientific Methods: Volume One of the Tenth International Congress of
214,64 €
Section 1 Proof theory and categorical logic. - Proof-theoretical aspects of self-referential truth. - On bounded set theory. - Section 2 Model theory, set theory and formal systems. - Infinitary logic in finite model theory.
Jetzt bei Ebay:
