Proofs and Algorithms: An Introduction to Logic and Computability
Gilles Dowek (auth.)
Discover references
Gilles Dowek (auth.)
Imre Lakatos,John Worrall,Elie Zahar
Lakatos, Imre;Worrall, John(Editor);Zahar, Elie(Editor)
Connell E H
Damien Calaque,Carlo A. Rossi
Felscher,Walter
I. M. James
Louis J. Billera,Anders Björner,Curtis Greene,Rodica E. Simion,Richard P. Stanley
Papaioannou A.
L. Comtet
Peter J. Cameron
Li HUISHI
Douglas R. Stinson
Goulnara N. Arzhantseva,Goulnara N. Arzhantseva,Laurent Bartholdi,José Burillo,Enric Ventura
Sebastian M. Cioabă,M. Ram Murty
M. Goldstein,Valery B. Kudryavtsev,Ivo G. Rosenberg
Kean Pew Foo;Mingyan Simon Lin;Mingyan
Cihan Bahran
Daniel G. Quillen
Yufei Zhao (赵宇飞)
Joseph P. S. Kung,Gian-Carlo Rota,Catherine H. Yan
Toyokazu Hiramatsu,Seiken Saito
David Harari
Thomas Beth,D. Jungnickel,H. Lenz
Ulf Grenander,Michael Miller
Jing-Song Huang,Pavle Pandzic