Mathematical interpretation of formal systems [by] Th. Skolem [and others]. (Studies in logic and the foundations of mathematics)

Mathematical interpretation of formal systems [by] Th. Skolem [and others].

(Studies in logic and the foundations of mathematics)

Notes on use

Note (General)：: Lectures held at the symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 1954.

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Mathematical interpretation of formal systems [by] Th. Skolem [and others].
Series Title: Studies in logic and the foundations of mathematics
Author Heading: Skolem, Th. (Thoralf) , 1887-1963.
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
Publication Date: 1955.
Publication Date (W3CDTF): 1955
Extent: 113 p. 22 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Logic, Symbolic and mathematical.
DDC: 164
Note (General): Lectures held at the symposium on mathematical interpretation of formal systems in Amsterdam, Sept. 9-10, 1954.
Note (Bibliography): Includes bibliographies.
Holding library: 国立国会図書館
Call No.: 164-W815m
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006377886
http://id.ndl.go.jp/bib/000006377886
LC Control Number: a 56004475
https://lccn.loc.gov/a 56004475
Bibliographic Record Category (NDL): 211