Zum Inhalt springen

Beeson, Michael J. [VerfasserIn]

Foundations of constructive mathematics : metamathematical studies

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1985

Erschienen in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; F3,6
Mandelkern, Mark [VerfasserIn]

Constructive continuity

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Providence, RI: American Mathematical Soc., 1983

Erschienen in: American Mathematical Society: Memoirs of the American Mathematical Society ; 277
Schnorr, Claus Peter [VerfasserIn]

Zufälligkeit und Wahrscheinlichkeit : eine algorithmische Begründung der Wahrscheinlichkeitstheorie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1971

Erschienen in: Lecture notes in mathematics ; 218
Turner, Raymond [VerfasserIn]

Constructive foundations for functional languages

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

London [u.a.]: McGraw-Hill, 1991
Todd, John [VerfasserIn]

Introduction to the constructive theory of functions

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Basel [u.a.]: Birkhäuser, 1963

Erschienen in: International series of numerical mathematics ; 1
Rivasseau, Vincent [VerfasserIn]

From perturbative to constructive renormalization - [1. pr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton, NJ [u.a.]: Princeton Univ. Press, 1991

Erschienen in: Princeton series in physics
Shapiro, Stewart [HerausgeberIn]

Intensional mathematics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland Publ., 1985

Erschienen in: Studies in logic and the foundations of mathematics ; 11300
Richman, Fred [HerausgeberIn] ; New Mexico State University, Conference on Constructive Mathematics 1980 Las Cruces, NM

Constructive mathematics : proceedings of the New Mexico State Univ. conference held at Las Cruces, New Mexico, Aug. 11 - 15, 1980

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg [usw.]: Springer, 1981

Erschienen in: Lecture notes in mathematics ; 873
Troelstra, Anne S. [VerfasserIn]; Dalen, Dirk van [VerfasserIn]

Constructivism in mathematics : an introduction

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam: North-Holland, 1988

Erschienen in: Studies in logic and the foundations of mathematics ; .
Myers, J. Paul [Sonstige Person, Familie und Körperschaft]; O'Donnell, Michael J. [Sonstige Person, Familie und Körperschaft]; Myers, J. P. [HerausgeberIn] ; Symposium on Constructivity in Computer Science 1991 San Antonio, Tex

Constructivity in computer science : summer symposium, San Antonio, TX, June 19 - 22, 1991 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1992

Erschienen in: Lecture notes in computer science ; 613
Troelstra, Anne S. [HerausgeberIn]; Dalen, Dirk van [Sonstige Person, Familie und Körperschaft]; Brouwer, Luitzen E. J. [GefeierteR] ; L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland Publ. Comp., 1982

Erschienen in: Studies in logic and the foundations of mathematics ; 11000
Freeden, Willi [VerfasserIn] ; Gervens, Theo [Sonstige Person, Familie und Körperschaft]; Schreiner, Michael [Sonstige Person, Familie und Körperschaft]

Constructive approximation on the sphere : with applications to geomathematics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press [u.a.], 1998

Erschienen in: Numerical mathematics and scientific computation- Oxford science publications
Grisvard, Pierre [HerausgeberIn]; Wendland, Wolfgang L. [HerausgeberIn]

Singularities and constructive methods for their treatment : proceedings of the conference held in Oberwolfach, West Germany, November 20 - 26, 1983

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1985

Erschienen in: Lecture notes in mathematics ; 1121
Edwards, Harold M. [VerfasserIn] ; Harold M. Edwards [MitwirkendeR]

Abel and the Concept of the Genus of a Curve

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Diener, Hannes [VerfasserIn]

Constructive reverse mathematics : Habilitationsschrift

Online ansehen
Schließen

Zugang

https://d-nb.info/1160443564/34

kostenfrei

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Siegen: Universitätsbibliothek der Universität Siegen, 2018
Nelson, Edward [VerfasserIn]

Predicative Arithmetic. (MN-32)

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via De Gruyter)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Princeton: Princeton University Press, 1987 ; 1987

Erschienen in: Mathematical notes ; 32
Diener, Hannes [VerfasserIn]

Constructive reverse mathematics : Habilitationsschrift

Online ansehen
Schließen

Links

https://dspace.ub.uni-siegen.de/handle/ubsi/1306

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Universität Siegen; Fakultät IV - Naturwissenschaftlich-Technische Fakultät, 2018-01-01
Diener, Hannes [VerfasserIn]

Constructive reverse mathematics : Habilitationsschrift

Online ansehen
Schließen

Links

Zugang und weitere Informationen zur Ressource

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

noah.nrw, 2018
Forster, Yannick [VerfasserIn]; Jahn, Felix [VerfasserIn] ; Yannick Forster and Felix Jahn [MitwirkendeR]

Constructive and Synthetic Reducibility Degrees: Post’s Problem for Many-One and Truth-Table Reducibility in Coq

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Dudenhefner, Andrej [VerfasserIn] ; Andrej Dudenhefner [MitwirkendeR]

Constructive Many-One Reduction from the Halting Problem to Semi-Unification

Online ansehen
Schließen

Zugang

Zugang zur Ressource (via DOI)

Zeige weitere weniger zeigen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr