Publications of the Mathematical Society of Japan Ser.: Two Applications of Logic to Mathematics by Gaisi Takeuti (2015, Trade Paperback)
rarewaves-united (414121)
98.8% positive feedback
Price:
AU $98.02
Free postage
Est. delivery Mon, 18 Aug - Mon, 1 SepEstimated delivery Mon, 18 Aug - Mon, 1 Sep
Returns:
30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.
Condition:
Brand newBrand new
Author: Gaisi Takeuti. 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.