Formal Methods: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logiс
Evert W. Beth
Discover references
Evert W. Beth
William Ewald,Wilfried Sieg (auth.),William Ewald,Wilfried Sieg (eds.)
William Ewald (editor),Wilfried Sieg (editor)
T. N. Venkataramana,International Conference on Cohomology o
Jan Krajicek
Edmund Husserl,Dallas Willard
NormanandJoeseph Landin Hamilton
J. Coates,R. Greenberg,K.A. Ribet,K. Rubin,C. Viola
J. Coates,R. Greenberg,K.A. Ribet,K. Rubin
John H. Coates,Kenneth A. Ribet,Ralph Greenberg,Karl Rubin (auth.),Carlo Viola (eds.)
Joseph H. Silverman
Catherine Goldstein,Norbert Schappacher,Joachim Schwermer
Catherine Goldstein,Joachim Schwermer,Norbert Schappacher (Editors)
James Van Dyke,James Rogers,Hollis Adams
Goro Shimura
Wolfgang Schwarz,Jürgen Spilker
Masanori Morishita (auth.)
Harold M. Edwards
J L Lehman
Gross B.H.
Gelbart Harder Iwasawa,Jacquet Katz Piatetski-Shapiro,Raghavan Shintani Stark Zagier (auth.)