1300 187 187
 
Provability, Computability and Reflection - Lev D. Beklemishev

Provability, Computability and Reflection

eBook

Published: 1st April 2000
Format: PDF
$297.95
    Good For
  • Booktopia Reader
  • PC / Mac
  • Tablets / iPad
  • Smartphones
    Not supported
  • Kobo / Sony / eReaders
  • Amazon Kindle
  • Aldi eBook Reader
  • Google Play
  • iBooks
    Features
  • Flowing text
  • Scanned pages

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: 0080957560
Format: PDF
Language: English
Published: 1st April 2000
Publisher: Elsevier Science