Intuitionistic Set Theory. Or How to construct semi-rings: Intuitionistic Set Theory Part I . (Schriftenreihe Forschungsergebnisse zur Informatik)

Schriftenreihe

von Conrad Kuck

Broschiert

ISBN-13: 978-3-86064-616-8

ISBN-10: 3-86064-616-8

Verlag Dr. Kovac · 1998

Siehe auch:
1998BroschiertIntuitionistic Set Theory. Or How to construct semi-rings: Intuitionistic Set Theory Part II (Schriftenreihe Forschungsergebnisse zur Informatik)