Formal Models of Computation The Ultimate Limits of Computing
Arthur Fleck2001 年出版532 页ISBN:
FORMAL PHILOSOPHY SELECTED PAPERS OF RICHARD MONTAGUE
RICHMOND H. THOMASON1979 年出版369 页ISBN:
INTERPRETATION OF LIVER BIOPSIES:BIOPSY INTERPRETATION SERIES
RICHARD J.STENGER1984 年出版164 页ISBN:0890045542
Informatik-Fachberichte 36 The Use of Formal Specification of Software
1980 年出版388 页ISBN:3540104429
AMERICAN MATHEMATICAL SOCIETY TRANSLATIONS SERIES 2 VOLUME 16 THREE PAPERS ON DYNAMICAL SYSTEMS
A.G.KUSNIRENKO,A.B.KATOK,V.M.ALEKSEEV1981 年出版169 页ISBN:082183066X