Theory of Deductive Systems and Its Applications (Mit Press Series in the Foundations of Computing)

出版社: Mit Pr(1987-07-01)

ハードカバー: 161 ページ / 15.9 x 1.3 x 23.5 cm

ISBN-10: 0262132230  ISBN-13: 9780262132237