La Lettonie, pays de transit et d'exportation
Les premiers recursivements inaccessible et Mahlo et la theorie des dilatateurs.
Three-valued logic and cut-elimination: The actual meaning of Takeuti's conjecture
CONTENTSIntroduction............................................................................................................ 5A. The three-valued predicate calculus............................................................ 8 A 1. Three-valued structures; classical case............................................. 8 A 2. Three-valued structures; intuitionistic case........................................ 10 A 3. Theories; models........................................................................................
Page 1