Grzegorczyk, Andrzej

An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk ; translation from the original Polish by Olgierd Wojtasiewiez and Waclaw Zawadowski - Dordrecht : D. Reidel Pub., c1974 - x, 596 p. : ill. ; 22 cm.

Translation of : Zarys logiki matematycznej

Includes bibliographical references and index

9027703590 : PND 65.00


Logic, Symbolic and mathematical

164