+612 9045 4394
Provability, Computability and Reflection - Lev D. Beklemishev

Provability, Computability and Reflection

Sorry, the eBook that you are looking for is not available right now.

We did a search for other eBooks with a similar title, and found some results for you that may be helpful.

Provability, Computability and Reflection

Infinitary concatenation -- Algebras of terms of infinite length -- Infinitary propositional languages -- Representation theory for Boolean algebras -- Non-deducibility in infinitary propositional logic -- Systems of formulas of infinite length -- Substitution -- Inifinitary predicate languages -- Infinitary predicate logic -- Non-deducibility in infinitary predicate logic -- Definability of the infinitary formal systems -- Incompleteness in infinitary predicate logic.

ISBN: 9780080957562
ISBN-10: 9780080954943
Format: PDF
Language: English
Published: 1st April 2000