Two Applications of Logic to Mathematics

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-...
Ausführliche Beschreibung

Gespeichert in:
Autor*in:

Takeuti, Gaisi [verfasserIn]

Format:

E-Book

Sprache:

Englisch

Erschienen:

Princeton, N.J: Princeton University Press ; 2015

©2015

Rechteinformationen:

Restricted Access

Schlagwörter:

Logic, Symbolic and mathematical

Algebra, Boolean

MATHEMATICS / Logic

Umfang:

Online-Ressource (152p.))

Reproduktion:

2015

Reihe:

Publications of the Mathematical Society of Japan ; 1576

Links:

Link aufrufen
Volltext
Link aufrufen
Link aufrufen
Cover
Cover

ISBN:

978-1-4008-7134-6

DOI / URN:

10.1515/9781400871346

Katalog-ID:

1658662733

Nicht das Richtige dabei?

Schreiben Sie uns!