Since the late 1960s, methods of birational geometry have been used successfully in the theory of linear algebraic groups, especially in arithmetic problems. Th

Vols. for 1975- include publications cataloged by the Research Libraries of the New York Public Library with additional entries from the Library of Congress MAR

This collection contains translations of papers on propositional satisfiability and related logical problems which appeared in roblemy Sokrashcheniya Perebora,