Burak EKİCİ

Formal categorical reasoning

Formal categorical reasoning

Turkish Journal of Mathematics

2022-Cilt: 46 - Sayı: 4

1538-1552

78 96