g e mints

G. E. Mint︠s︡ · Kluwer Academic / Plenum Publishers

131 sayfa · 2000

Intuitionistic mathematics / Mathématiques intuitionnistes / MATHEMATICS / General / Logic

G. E. Mint͡s · Center for the Study of Language and Information

91 sayfa · 1992

Modality (Logic)

G. E. Mint͡s, Reinhard Muskens · Center for the Study of Language and Inf

136 sayfa · 2003

Symbolic and mathematical Logic / Constructibility (Set theory) / Game theory / Logic, symbolic and mathematical / Set theory

G. E. Mint͡s · North-Holland

294 sayfa · 1992

Proof theory

G. E. Mint︠s︡, Ė. Kh Tyugu · Academy of Sciences of the Estonian SSR

75 sayfa · 1986

MICROPRIZ (Computer file) / Object-oriented programming (Computer science)

G. E. Mint︠s︡, Ė. Kh Tyugu · Akademii︠a︡ nauk Ėstonskoĭ SSR, In-t kibernetiki

202 sayfa · 1983

Automatic programming (Computer science)

G. E. Mint︠s︡, Ė. Kh Tyugu · Akademii͡a︡ nauk Ėstonskoĭ SSR

95 sayfa · 1987

Object-oriented programming (Computer science)

I. I. Mint︠s︡, E. G. Gimpelʹson · Nauka

226 sayfa · 1964

Works councils / History / Soviets (Councils) / Working class / Labor

Dmitriĭ Aleksandrovich Pospelov, G. E. Mint︠s︡ · Akademii͡a nauk SSSR, Nauch. sovet po kompleksnoĭ probleme "Kibernetika"

194 sayfa · 1987

Computational complexity

D. Yu Grigoriev, G. E. Mint͡s, S. I︠U︡ Maslov, V. P. Orevkov, Matematicheskiĭ institut im. V.A. Steklova. Leningradskoe otdelenie · Nauka

Sayfa sayısı yok · 1975

Symbolic and mathematical Logic / Congresses