Search this site
Embedded Files
Skip to main content
Skip to navigation
Eitetsu KEN's Homepage
Home
Some of helpful literatures
Talks
Proof Society 2024@Birmingham
Logic Colloquium 2024 @Gothenburg
Prague Logic Seminar 2023 @ Institute of Mathematics
Logic Seminar 2023 @The University of Passau
Computational Logic Seminar 2023 @TU Wien
Logic Colloquium 2023 @Milan
Spring School of Combinatorics 2023 @Jáchymov
COMAゼミ2024@ The University of Tokyo
FoPM Symposium 2025
Logic and Computation Seminar 2025 @Pennsylvania
Prague Logic Seminar 2025 @ Institute of Mathematics
Eitetsu KEN's Homepage
Home
Some of helpful literatures
Talks
Proof Society 2024@Birmingham
Logic Colloquium 2024 @Gothenburg
Prague Logic Seminar 2023 @ Institute of Mathematics
Logic Seminar 2023 @The University of Passau
Computational Logic Seminar 2023 @TU Wien
Logic Colloquium 2023 @Milan
Spring School of Combinatorics 2023 @Jáchymov
COMAゼミ2024@ The University of Tokyo
FoPM Symposium 2025
Logic and Computation Seminar 2025 @Pennsylvania
Prague Logic Seminar 2025 @ Institute of Mathematics
More
Home
Some of helpful literatures
Talks
Proof Society 2024@Birmingham
Logic Colloquium 2024 @Gothenburg
Prague Logic Seminar 2023 @ Institute of Mathematics
Logic Seminar 2023 @The University of Passau
Computational Logic Seminar 2023 @TU Wien
Logic Colloquium 2023 @Milan
Spring School of Combinatorics 2023 @Jáchymov
COMAゼミ2024@ The University of Tokyo
FoPM Symposium 2025
Logic and Computation Seminar 2025 @Pennsylvania
Prague Logic Seminar 2025 @ Institute of Mathematics
Prague Logic Seminar 2023 @ Institute of Mathematics
The seminar page is
here
.
↓Slides (without notes)
Prague_Logic_Seminar_presentation_2023_11_20_withnotes.pdf
↓Slides (with notes).
Prague_Logic_Seminar_presentation_2023_11_20.pdf
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse