STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN：0444895051
WTO DISCIPLINES ON AGRICULTURAL SUPPORT SEEKING A FAIR BASIS FOR TRADE
DACID ORDEN2011 年出版494 页ISBN：9781107417106
Grammars for Programming Languages
J.Craig Cleaveland Robert C.Uzgalis2222 年出版154 页ISBN：
QUANTITATIVE REASONING UNDERSTANDING THE MATHEMATICAL PATTERNS IN NATURE
FREDERICK P.GREENLEAF1997 年出版605 页ISBN：0072928670
Lecture Notes in Computer Science 4719 Datatype-Generic Programming International Spring School
SSDGP 20062007 年出版369 页ISBN：9783540767855
Lecture Notes in Computer Science 3286 Generative Programming and Component Engineering Third Intern
GPCE 20042004 年出版491 页ISBN：3540235809
Lecture Notes in Computer Science 3780 Programming Languages and Systems Third Asian Symposium
APLAS 20052005 年出版435 页ISBN：3540297359
Lecture Notes in Computer Science 4010 Unifying Theories of Programming First International Symposiu
UTP 20062006 年出版257 页ISBN：354034750X
