Yazar
Grigori Mints
8 cilt bulundu.
Cilt sonuçları
A short introduction to intuitionistic logic
Grigori Mints · Kluwer Academic / Plenum Publishers
131 sayfa · 2000
Electronic books / Intuitionistic mathematics / Mathématiques intuitionnistes / Intuïtionisme
Games, Logic, and Constructive Sets
Grigori Mints, Reinhard Muskens · Center for the Study of Language and Inf
144 sayfa · 2003
Set theory / Game theory / Logic, symbolic and mathematical
Logic Colloquium '96
J. M. Larrazabal, D. Lascar, Grigori Mints · Cambridge University Press
269 sayfa · 2017
Logic, symbolic and mathematical




