Recherche avancéePréférences

1 - Choice sequences : a chapter of intuitionistic mathematics Troelstra, Anne Sjerp Cote : [05 TRO 77]

2 - Metamathematical investigation of intuitionistic arithmetic and analysis Troelstra, Anne Sjerp (Ed.) Cote : [05 TRO 73]

3 - Principles of intuitionism : lectures presented at the Summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N. Y. Troelstra, Anne Sjerp Cote : [05 TRO 69]

Nombre de résultats : 3