Biographie et livres de Michael Rathjen

Découvrez tout l'univers de l'auteur en livre numérique

Michael Rathjen was Professor of Mathematics at the Ohio State University and is currently Professor of Mathematics at the University of Leeds, England. His main research area is mathematical logic, especially proof theory, ordinal analysis, constructive and alternative set theories as well as intuitionism.

Découvrez tous ses livres

Dernière parution

Ajouter à ma liste d'envies

Gentzen's Centenary

Reinhard Kahle , Michael Rathjen

Springer

2015-11-02

PDF, ePub

Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The...

158,24 €

Lire plus

Tous les ebooks de Michael Rathjen en PDF et EPUB

2 résultat(s)


Ajouter à ma liste d'envies Handbook of Constructive Mathematics Douglas Bridges , Hajime Ishihara , Michael Rathjen , Helmut Schwichtenberg Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of... Parution : 2023-05-11 Format(s) : PDF Éditeur : Cambridge University Press J'achète 184,69 €
Ajouter à ma liste d'envies The Legacy of Kurt Schütte Reinhard Kahle , Michael Rathjen This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to... Parution : 2020-08-10 Format(s) : PDF Éditeur : Springer J'achète 116,04 €

Ajouter à ma liste d'envies

Handbook of Constructive Mathematics

Douglas Bridges , Hajime Ishihara , Michael Rathjen , Helmut Schwichtenberg

Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's groundbreaking account of constructive analysis, constructive mathematics has spread out to touch almost all areas of...

Parution : 2023-05-11

Format(s) : PDF

Éditeur : Cambridge University Press

J'achète

184,69 €

Ajouter à ma liste d'envies

The Legacy of Kurt Schütte

Reinhard Kahle , Michael Rathjen

This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to...

Parution : 2020-08-10

Format(s) : PDF

Éditeur : Springer

J'achète

116,04 €

Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.

Restez informé(e) des événements et promotions ebook

Paiements sécurisés