Ramsey's theorem and the pigeonhole principle in intuitionistic mathemathics:
Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Veldman, Willem H. (VerfasserIn), Bezem, Marc (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Utrecht Dep. of Philos., Univ. of Utrecht 1992
Schriftenreihe:Rijksunversiteit <Utrecht> / Logic Group: Logic Group preprint series 72
Umfang:27 Bl.