Search results for "Łoś's theorem" | NDL Search

Search results 1

Group by title

Digital博士論文

荒武, 永史Kyoto University2021-07-26

Available onlineOther Libraries in Japan

Subject Headingsheaf of structures Heyting-valued structure Łoś's theorem model theory categorical logi...
Alternative TitleSheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem
Alternative TitleSheaves of Structures, Heyting-Valued Structures, and a Generalization of Łoś's Theorem

Reached to the end of result.

RSS