00994nam--2200337---450-99000322058020331620090417134657.0000322058USA01000322058(ALEPH)000322058USA0100032205820090417d1962----km-y0itay50------baengNEa---||||001yyFormal methodsAn introduction to symbolic logic and to the study of effective operations in arithmetic and logicBeth Evert W.DordrechtReidel1962XIV, 170 p.ill.22 cmSynthese library2001Synthese libraryLogica matematica511.3BETH,Evert W.158977ITsalbcISBD990003220580203316511.3 BET5305/CBS511.300216381BKSCIRSIAV69020090417USA011346Formal Methods358229UNISA