LEADER 00000cam a22003971  4500 
005    20090715132604.0 
008    850812s1955    ne       b    000 0 eng   
010       56003127 //r852 
035    (CaOTULAS)121047624 
035    |9(CaOTULAS)121047624 
035    56383 
040    DLC/ICU|beng|cICU 
049    RIDM 
050 00 QA9|b.W72 1955 
081    CTL0205178 
082 0  164 
090    QA9 .W72 1955 
110 2  Wiskundig Genootschap (Netherlands)|0https://id.loc.gov/
       authorities/names/n84805681 
245 10 Mathematical interpretation of formal systems /|cTh. 
       Skolem [and others]. 
264  1 Amsterdam :|bNorth-Holland Pub. Co.,|c1955. 
300    viii, 113 pages ;|c22 cm. 
336    text|btxt|2rdacontent 
337    unmediated|bn|2rdamedia 
338    volume|bnc|2rdacarrier 
490 1  Studies in logic and the foundations of mathematics 
500    "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." 
504    Bibliography: pages 112-113. 
650  0 Logic, Symbolic and mathematical.|0https://id.loc.gov/
       authorities/subjects/sh85078115 
650  7 Logic, Symbolic and mathematical.|2fast|0https://
       id.worldcat.org/fast/1002068 
700 1  Skolem, Th.|q(Thoralf),|d1887-1963.|0https://id.loc.gov/
       authorities/names/n84804553 
830  0 Studies in logic and the foundations of mathematics.
       |0https://id.loc.gov/authorities/names/n42707789 
901    MARCIVE 20231220 
935    56383