Bibliography of Soviet work in the field of mathematical logic and the foundations of mathematics, from 1917-1957.

Published in: Notre Dame J. Formal Log. (1962)

Keyphrases

computer algebra
mathematical theory
artificial intelligence
computer science
computer algebra systems
logic programming
theorem prover
automated reasoning
multi valued
latest developments
mathematical expressions
formal logic
mathematical knowledge