iurii leonidovich ershov

I͡Uriĭ Leonidovich Ershov · Consultants Bureau

264 sayfa · 1996

Definability theory (Mathematical logic) / Computable functions

I͡Uriĭ Leonidovich Ershov · Nauch. kniga

286 sayfa · 1996

Definability theory (Mathematical logic) / Computable functions

I͡Uriĭ Leonidovich Ershov · North Holland

1464 sayfa · 1998

Recursion theory

I︠U︡riĭ Leonidovich Ershov · In-t matematiki im. S.L. Soboleva

333 sayfa · 2009

Mathematics / Congresses

Iurii Leonidovich Ershov · North Holland

798 sayfa · 1998

Kategori yok

Iurii Leonidovich Ershov · North Holland

664 sayfa · 1998

Kategori yok

I͡Uriĭ Leonidovich Ershov, Yuri L. Ershov, Sergei S. Goncharov · Springer

306 sayfa · 2000

Constructive mathematics / Mathematical foundations / Mathematical modelling / Mathematical And Symbolic Logic / Philosophy Of Mathematics

I͡Uriĭ Leonidovich Ershov · "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry

328 sayfa · 1979

Symbolic and mathematical Logic / Algorithms

I͡Uriĭ Leonidovich Ershov · "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry

415 sayfa · 1980

Recursion theory / Constructive mathematics

I͡Uriĭ Leonidovich Ershov · Nauka

416 sayfa · 1977

Numeration

I︠U︡riĭ Leonidovich Ershov · IM SO RAN

208 sayfa · 1999

Kategori yok

I︠U︡riĭ Leonidovich Ershov · Kluwer Academic/Consultants Bureau

270 sayfa · 2001

Valued fields / Number theory

I︠U︡riĭ Leonidovich Ershov · Consultants Bureau

293 sayfa · 2000

Mathematical models

I︠U︡riĭ Leonidovich Ershov · In-t matematiki SO RAN

175 sayfa · 1998

Kategori yok

I︠U︡riĭ Leonidovich Ershov · Novosibirskiĭ gosudarstvennyĭ universitet

159 sayfa · 1973

Symbolic and mathematical Logic

I︠U︡riĭ Leonidovich Ershov · "Nauka," Sibirskoe otd-nie

189 sayfa · 1989

Symbolic and mathematical Logic / Algorithms

I︠U︡riĭ Leonidovich Ershov · Mir Publishers

303 sayfa · 1984

Logic, Symbolic and mathematical / Symbolic and mathematical Logic

I︠U︡riĭ Leonidovich Ershov · "Nauka," Sibirskoe otd-nie

181 sayfa · 1988

Model theory

Jon Barwise, I︠U︡riĭ Leonidovich Ershov · Nauka, Glav. red. Fiziko-matematicheskoĭ lit-ry

Sayfa sayısı yok · 1982

Symbolic and mathematical Logic

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki

139 sayfa · 1986

Abstract data types (Computer science)

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki

166 sayfa · 1987

Symbolic and mathematical Logic

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · In-t matematiki SO RAN

152 sayfa · 1996

Algorithms / Programming (Mathematics)

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · Rossiĭskai͡a︡ akademii͡a︡ nauk, Sibirskoe otd-nie, In-t matematiki

202 sayfa · 1992

Logic programming

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki

165 sayfa · 1986

Symbolic and mathematical Logic / Congresses

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki

147 sayfa · 1988

Logic programming

I︠U︡riĭ Leonidovich Ershov, Vladimir Danilovich Mazurov · Izd-vo in-ta matematiki

191 sayfa · 1996

Group theory / Rings (Algebra) / Symbolic and mathematical Logic / Algebraic logic / Universal Algebra

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki

198 sayfa · 1989

Algorithms

I︠U︡riĭ Leonidovich Ershov, S. S. Goncharov · Akademii͡a︡ nauk SSSR, Sibirskoe otd-nie, In-t matematiki

161 sayfa · 1987

Logic programming / Computer programming