00487nam a22001337a 4500008004100000040005500041080002400096245011400120260005800234300001000292500001200302650001600314700002300330230421b        |||||||| |||| 00| 0 eng d  aNational Science LibrarycNational Science Library  a510.2/.6(082.2)bL1  aStudies in logic and the foundations of mathematicsc/ Proceedings of the second scandinavian logic symposium  aAmsterdam: bNorth-Holland Publishing Company, c1971  a405p.  aVol. 63  aProceedings  aFenstad, J E (Ed.)