00450nam a2200133Ia 45000010005000000030005000050050017000100080041000271000030000682450120000982600043002183000011002616500044002722631BIBL20160527192850.0911101|1962||||ne |||||||||||00010|eng|d10aBeth, Evert Willem2Local10aFormal methodsban introduction to symbolic logic and to the study of effective operations in arithmetic and logic.0 aDordrechtbD. Reidel Publishingc1962.  a170 p. 0aLogic, Symbolic and mathematical2Local