yoleo
Catálogo

Catálogo

40.144 obras en el archivo

Mostrando 3 de 3 obras en “teoremas”

Portada de Proofs from THE BOOK

Proofs from THE BOOK

Günter M. Ziegler

divulgacion
Portada de Journey Through Genius: The Great Theorems of Mathematics

Journey Through Genius: The Great Theorems of Mathematics

William Dunham

matematicas
Portada de Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Lawrence C. Paulson

matematicas
yoleo