There are 1 book by M. V. Zakharʹi͡ashchev on BookOrb. A strong starting point is Matematicheskai͡a logika v programmirovanii (1991). The bibliography below is in publication order, with series grouped in reading order.
Standalone books
Frequently asked questions
How many books has M. V. Zakharʹi͡ashchev written?
BookOrb lists 1 book by M. V. Zakharʹi͡ashchev.
Where should I start with M. V. Zakharʹi͡ashchev?
A good starting point is Matematicheskai͡a logika v programmirovanii (1991).
What is the M. V. Zakharʹi͡ashchev books in order list?
In publication order: 1. Matematicheskai͡a logika v programmirovanii (1991).