11  results:
?
1

Forcing with random variables and proof complexity 

London Mathematical Society lecture note series ; 382
Krajíček, Jan - 1. publ. . , 2011
Copies:  Zentrale:E02 a mat 033/334
 
?
3

Varieties of constructive mathematics 

London Mathematical Society lecture note series ; 97
Copies:  Zentrale:E02 a mat 033/750
 
?
4

Husserls Philosophie der Mathematik 

platonistische und konstruktivistische Momente in Husserls ...  Conscientia ; 10
Schmit, Roger , 1981
Copies:  Zentrale:E03 a phi 470.8-1/245
 
?
5

The axiom of constructibility 

a guide for the mathematician  Lecture notes in mathematics ; 617
Copies:  Zentrale:E02 a mat 033/347
 
?
6

Zur konstruktiven Begründung der Analysis 

ein Beitrag zur Klärung des Konstruktivitätsbegriffs 
Haas, Gerrit , 1975
Copies:  Zentrale:E03 a phi 612/958
 
?
7

Konstruktive Logik, Ethik und Wissenschaftstheorie 

BI-Hochschultaschenbücher ; 700
Lorenzen, Paul - 2., verb. Aufl. . , 1975
Copies:  Zentrale:E03 a phi 612/758(2)
 
?
8

Konstruktive Wissenschaftstheorie 

Suhrkamp-Taschenbuch Wissenschaft ; 93
Lorenzen, Paul - 1. Aufl. . , 1974
Copies:  Zentrale:E03 a phi 690 m/641
 
?
9

Konstruktive Logik, Ethik und Wissenschaftstheorie 

BI-Hochschultaschenbücher ; 700
Copies:  Zentrale:E03 a phi 612/758
 
?
11

Constructive order types 

Studies in logic and the foundations of mathematics
Copies:  Zentrale:E02 a mat 033/105
 
1-11