Chapter
| Chapter title: | Theorie typů (Czech) |
| Chapter title: | Type theory (English) |
| Author: | Zich, Otakar |
| Language: | Czech |
| Monograph: | Úvod do filosofie matematiky |
| Year: | 1947 |
| Publisher: | Jednota československých matematiků a fysiků |
| Place: | Praha |
| Pages: | 118-132 |
| . | |
| Category: | math |
| . | |
| . | |
| Date available: | 2015-09-06T06:46:37Z |
| Stable URL: | http://hdl.handle.net/10338.dmlcz/403164 |
| . |
Files
| Files | Size | Format | View |
|---|---|---|---|
| CestaKVedeni_018-1947-1_9.pdf | 2.332Mb | application/pdf |
View/ |
Search
Partner of
