Computer Programming and Formal Systems (Volume 35) (Studies in Logic and the Foundations of Mathematics, Volume 35) - Hardcover

Beklemishev, Lev D.

 
9780444534002: Computer Programming and Formal Systems (Volume 35) (Studies in Logic and the Foundations of Mathematics, Volume 35)