Lançamentos por Charles Baddage (1832 )