Ergebnisliste für GND-ID= "DE-588 4165105-4"; Sortiert nach: Jahr, dann Urheber

  Hilfe zur Ergebnisliste


Titel 1 - 20 von 53  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Bridges, Douglas S., 1945- [Herausgeber] [Verfasser] Handbook of constructive mathematics / edited by Douglas Bridges (University of Canterbury), Hajime Ishihara (Japan Advanced Institute of Science and Technology), Michael Rathjen (University of Leeds), Helmut Schwichtenberg (Ludwig Maximilian University of Munich). - (Encyclopedia of mathematics

URL: http://digitale-objekte.hbz-nrw.de/storage2/2023/06/24/file_38/9376562.pdf
Inhaltsverzeichnis

2023 
     
2
Nelson, Edward, 1971- [Verfasser] Predicative arithmetic [Online-Ressource] / by Edward Nelson. - (Mathematical notes ; 32) . - (Princeton legacy library) 

URL: http://www.degruyter.com/view/product/453113 ; Hinw.: Verlag
URL: http://dx.doi.org/10.1515/9781400858927 ; Hinw.: Resolving-System

2014 
     
3
Bergmann, Artur, 1926- Affine Ebenen / von Artur Bergmann ; Erich Baumgartner

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=4341164&prov=M&dok_var=1&dok_ext=htm
URL: http://digitale-objekte.hbz-nrw.de/storage/2013/09/04/file_57/5280071.pdf
Weitere externe Links

2013 
     
4
Bridges, Douglas S. Apartness and Uniformity [Elektronische Ressource] / by Douglas S. Bridges, Luminiţa Simona Vîţă. - (Theory and Applications of Computability, In cooperation with the association Computability in Europe) 

URL: http://dx.doi.org/10.1007/978-3-642-22415-7 ; Hinw.: Resolving-System

2011 
     
5
Bridges, Douglas S. Apartness and uniformity / Douglas S. Bridges ; Luminiţa Simona Vîţă. - 1. ed.. - (Theory and Applications of Computability) 

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=3838742&prov=M&dok_var=1&dok_ext=htm
URL: http://digitale-objekte.hbz-nrw.de/storage/2011/10/29/file_8/4329041.pdf
Weitere externe Links

2011 
     
6
Chihara, Charles S. A structural account of mathematics / Charles S. Chihara. - Repr., [Nachdr.]



2009 
     
7
Bridger, Mark Real analysis / Mark Bridger. - (Pure and applied mathematics) 



2007 
     
8
Chihara, Charles S. A structural account of mathematics / Charles S. Chihara. - 1. pbk. ed.



2007 
     
9
Barwise, Jon, 1942-2000 [Herausgeber] Handbook of mathematical logic / ed. by Jon Barwise. - Repr.. - (Studies in logic and the foundations of mathematics ; 90) 



2006 
     
10
Edwards, Harold M. Essays in Constructive Mathematics [Elektronische Ressource] / by Harold M. Edwards

URL: http://dx.doi.org/10.1007/b138656 ; Hinw.: Resolving-System

2005 
     
11
Edwards, Harold M., 1936-2020 Essays in constructive mathematics / Harold M. Edwards

URL: http://digitale-objekte.hbz-nrw.de/storage2/2016/08/12/file_4/6842536.pdf
Inhaltsverzeichnis

2005 
     
12
Chihara, Charles S. A structural account of mathematics / Charles S. Chihara

URL: http://digitale-objekte.hbz-nrw.de/storage2/2016/05/19/file_87/6759724.pdf
Inhaltsverzeichnis

2004 
     
13
Pohst, Michael Algorithmic algebraic number theory / M. Pohst ; H. Zassenhaus. - 1. paperback ed., transf. to digital print.. - (Encyclopedia of mathematics and its applications ; [30]) 



2002 
     
14
Schuster, Peter [Hrsg.] Reuniting the antipodes - constructive and nonstandard views of the continuum / ed. by Peter Schuster .... - (Synthese library ; 306) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_136/1475632.pdf
URL: http://digitale-objekte.hbz-nrw.de/storage/2006/07/07/file_136/1475633.pdf
Weitere externe Links

2001 
     
15
Epstein, Richard L., 1947- Computability / Richard L. Epstein ; Walter A. Carnielli. - 2.ed.. - (The Wadsworth & Brooks/Cole mathematics series) 



2000 
     
16
Barwise, Jon, 1942-2000 [Herausgeber] Handbook of mathematical logic / ed. by Jon Barwise. - 8. impr., [Nachdr.]. - (Studies in logic and the foundations of mathematics ; 90) 



1999 
     
17
Beame, Paul W., 1959- [Herausgeber] Proof complexity and feasible arithmetics / Paul W. Beame ... eds.. - (DIMACS series in discrete mathematics and theoretical computer science ; 39) 



1998 
     
18
Anikonov, Jurij E. Formulas in inverse and ill-posed problems / Yu. E. Anikonov. - (Inverse and ill-posed problems series) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2007/11/27/file_148/2236915.pdf
Inhaltsverzeichnis

1997 
     
19
Pohst, Michael Algorithmic algebraic number theory / M. Pohst ; H. Zassenhaus. - 1. paperback ed.. - (Encyclopedia of mathematics and its applications ; [30]) 



1997 
     
20
Kaven, Herbert von, 1908-2009 Eine neukonstruktive Grundlegung der Mathematik / Herbert von Kaven



1995  60 DO: StLB
     


Vorige Seite   Nächste Seite