Mathematical interpretation of formal systems/

Mathematical interpretation of formal systems/ Th. Skolem ... [and others] - Amsterdam ; North-Holland, 1955. - 113 p.: 22 cm. - Studies in logic and the foundations of mathematics .

Lectures held at the symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 1954.

Includes bibliographies.

a 56004475


Logic, Symbolic and mathematical.

511.3 / M426
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha