Voltar

"Formal mathematics is nature's way of letting you know how sloppyyour mathematics is."

Leslie Lamport , em Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
mathematics
Mais do autor