Record ID | marc_records_scriblio_net/part08.dat:164728391:1080 |
Source | Scriblio |
Download Link | /show-records/marc_records_scriblio_net/part08.dat:164728391:1080?format=raw |
LEADER: 01080cam 2200277 i 4500
001 75310950 //r86
003 DLC
005 19860723000000.0
008 750501s1971 ne b 10010 eng
010 $a 75310950 //r86
015 $aNe***
020 $a0720422264
041 0 $aengfre
050 0 $aQA9$b.W72 1971
082 $a511/.3
110 20 $aWiskundig Genootschap te Amsterdam.
245 10 $aMathematical interpretation of formal systems /$cTh. Skolem ... [et al.].
250 $a2d ed.
260 0 $aAmsterdam :$bNorth-Holland Pub. Co.,$c1971.
300 $aviii, 113 p. ;$c23 cm.
440 0 $aStudies in logic and the foundations of mathematics
500 $a"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."
500 $aEnglish or French.
504 $aIncludes bibliographical references.
650 0 $aLogic, Symbolic and mathematical$xCongresses.
700 10 $aSkolem, Th.$q(Thoralf),$d1887-1963.