Intuitionistic Set Theory . or How to construct semi-rings Part IV (Schriftenreihe Forschungsergebnisse zur Informatik)

Schriftenreihe

von Conrad Kuck

Broschiert

ISBN-13: 978-3-8300-0691-6

ISBN-10: 3-8300-0691-8

Verlag Dr. Kovac · 2002