Az absztrakt halmazok elmélete függő típusos elsőrendű logikára alapozva
| Main Author: | |
|---|---|
| Other Authors: | |
| source: | Philobibl |
| source_doc: | Magyar Filozófiai Szemle 58.2014:2. p. 69-92. |
| Format: | Article |
| Language: | Hungarian |
| Keywords: | logika halmazok kategóriaelmélet toposzelmélet |
| Online Access: | szabadon hozzáférhető |
MARC
| LEADER | 00000nab a2200000 c 4500 | ||
|---|---|---|---|
| 001 | bibPHI0045033 | ||
| 005 | 20250526150239.8 | ||
| 008 | 151217s2014 hu hun | ||
| 100 | 1 | |a Makkai Mihály | |
| 245 | 1 | 3 | |a Az absztrakt halmazok elmélete függő típusos elsőrendű logikára alapozva |c Makkai Mihály ; [ford. Mekis Péter] |
| 695 | |a logika | ||
| 695 | |a halmazok | ||
| 695 | |a kategóriaelmélet | ||
| 695 | |a toposzelmélet | ||
| 700 | 1 | |a Mekis Péter | |
| 773 | 0 | |t Magyar Filozófiai Szemle |g 58.2014:2. p. 69-92. | |
| 856 | 4 | 1 | |3 Full text |u https://real-j.mtak.hu/2880/2/Filozofiai_szemle_beliv_2014_02_nyomdanak.pdf#page=69 |z szabadon hozzáférhető |