A short introduction to intuitionistic logic

שנה

2000

שפה

English

סדרה

University series in mathematics

הוצאה

Kluwer Academic / Plenum Publishers

מהדורות

1

עמודים

131

ISBN

9780306469756

מקור הנתונים: Wikidata