Filter
Søkt på: Bøker av Gaisi Takeuti
Filter
totalt 3 treff
Two Applications of Logic to Mathematics
pocket,
2015,
Engelsk,
ISBN 9780691610221
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 …
Fra
357,-
Proof Theory
e-bok,
2013,
Engelsk,
ISBN 9780486320670
Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores …
Two Applications of Logic to Mathematics
e-bok,
2015,
Engelsk,
ISBN 9781400871346
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 …