Hardware Description Languages and their Applications Specification
modelling1997 年出版350 页ISBN:
POPULAR FICTION THE LOGICS AND PRACTICES OF A LITERARY FIELD
2004 年出版179 页ISBN:0415356466
ALGEBRAIC AND PROOF-THEORETIC ASPECTS OF NON-CLASSICAL LOGICS
2007 年出版309 页ISBN:9783540759386
THE LOGICS OF FPA THE APPLICATION OF CONSTRUCTIVIST AND LIBERAL REALIST TO THE INDONESIAN POLITICS O
SAFARINI AIDILLA2017 年出版616 页ISBN:3659594801
STUDIES IN GENERATIVE GRAMMAR 44 THE MATHEMATICS OF SYNTACTIC STRUCTURE TREES AND THEIR LOGICS
1999 年出版348 页ISBN:3110162733
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN:3540104429