Two Applications of Logic to Mathematics / / Gaisi Takeuti.
Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott-...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter Princeton Legacy Lib. eBook Package 1931-1979 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2015] ©1978 |
Year of Publication: | 2015 |
Language: | English |
Series: | Publications of the Mathematical Society of Japan ;
1576 |
Online Access: | |
Physical Description: | 1 online resource (148 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Memoirs of a proof theorist : Godel and other logicians / / [by Gaisi Takeuti] ; [translated by] Mariko Yasugi, Nicholas Passell.
by: Takeuti, Gaisi,
Published: (c2003.) -
The mathematics of logic : a guide to completeness theorems and their applications / / Richard W. Kaye.
by: Kaye, Richard
Published: (2007.) -
Logic and discrete mathematics : : a concise introduction / / Willem Conradie, Valentin Goranko.
by: Conradie, Willem,
Published: (2015.) -
Logic and discrete mathematics : : a concise introduction / / Willem Conradie, University of Johannesburg, South Africa, Valentin Goranko, Stockholm University, Sweden, Claudette Robinson, University of Johannesburg, South Africa.
by: Conradie, Willem,
Published: (2015.) -
Three Views of Logic : : Mathematics, Philosophy, and Computer Science / / Donald W. Loveland, S. G. Sterrett, Richard E. Hodel.
by: Loveland, Donald W.,
Published: ([2014])