Search results 2
Digital博士論文
Available onlineOther Libraries in Japan
- Subject Headingsheaf of structures Heyting-valued structure Łoś's theorem model theory categorical logic
Paper図書
Other Libraries in Japan
- Subject Heading...braic logic -- Categorical logic, topoi. msc Category theory; ...
- Subject Heading (ID)...braic logic -- Categorical logic, topoi. msc Category theory; ...