CONSTRUCTIVE FORMALISM ESSAYS ON THE FOUNDATIONS OF MATHEMATICS
R.L.GOODSTEIN,D.LIT.2222 年出版91 页ISBN:
Principles of programming languages (popl)
Rajiv Chopra2015 年出版216 页ISBN:9384588016
THE LOGIC OF EQUALITY A FORMAL ANALYSIS OF NON-DISCRIMINATION LAW
ERIC HEINZE2003 年出版143 页ISBN:075462319x
3+1 FORMALISM IN GENERAL RELATICITY BASES OF NUMERICAL RELATIVITY
E.GOURGOULHON著2014 年出版294 页ISBN:7301248317
FORMALITIES IN COPYRIGHT LAW AN ANALYSIS OF THEIR HISTORY
PATIONALES AND POSSIBLE FUTURE2011 年出版348 页ISBN:9041134182
LECTURE NOTES IN MATHEMATICS 1226: DIFFERENTIAL FUNCTION FIELDS AND MODULI OF ALGEBRAIC VARIETIES
1986 年出版146 页ISBN:3540171940;0387171940