Theory of deductive systems and its applications. English translation by Michael Gelfond and Vladimir Lifschitz of Téoriá déduktivnyh sistém i éé priménéniá

by S. Yu. Maslov · 2 reviews · 1988

Reviewed by Journal Date Access

Also by Maslov

Search PhilReviews for this title