Mathematical interpretation of formal systems / Th. Skolem ... [et al.]. 2d ed. (Studies in logic and the foundations of mathematics)

Mathematical interpretation of formal systems / Th. Skolem ... [et al.].

2d ed.

Notes on use

Note (General)：: "Contains the lectures, held at the symposion [sic] on Mathematical interpretation of formal systems which was organized by the Wiskundig Genootschap ...

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: 図書
ISBN: 0720422264
Title: Mathematical interpretation of formal systems / Th. Skolem ... [et al.].
Edition: 2d ed.
Series Title: Studies in logic and the foundations of mathematics
Author Heading: Wiskundig Genootschap te Amsterdam.
Skolem, Th. (Thoralf) , 1887-1963.
Publication, Distribution, etc.: Amsterdam : North-Holland Pub. Co.
Publication Date: 1971.
Publication Date (W3CDTF): 1971
Extent: viii, 113 p. ; 23 cm.
Place of Publication (Country Code): NL
Text Language Code: eng
Subject Heading: Logic, Symbolic and mathematical -- Congresses.
LCC: QA9
DDC: 511/.3
NDLC: H35
Note (General): "Contains the lectures, held at the symposion [sic] on Mathematical interpretation of formal systems which was organized by the Wiskundig Genootschap (Mathematical Society) at Amsterdam on September 9 and 10, 1954."
English or French.
Note (Bibliography): Includes bibliographical references.
Holding library: 国立国会図書館
Call No.: H35-27
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006377887
http://id.ndl.go.jp/bib/000006377887
LC Control Number: 75310950 //r86
https://lccn.loc.gov/75310950
Bibliographic Record Category (NDL): 211