Gaisi Takeuti Two Applications of Logic to Mathematics (Taschenbuch) (US IMPORT)
44,20 €
In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space.
Jetzt bei Ebay:
