01287nam0 2200301 i 450 SUN005464920160119020320.146978-15-688-1132-10.0020061023d1993 |0engc50 baengUS|||| |||||*Logic colloquium '90ASL summer meeting in HelsinkiJ. Oikkonen, J. Vaananen (eds.)NatickAssociation for Symbolic Logic ; A K Peters 1993VIII, 305 p.25 cm.001SUN00651322001 Lecture notes in logic210 ChicagoAssociation for symbolic logic.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750NatickSUNL000427Oikkonen, Juha Markku RobertSUNV043306Väänänen, Jouko AnteroSUNV043307Association for symbolic logicSUNV043305726063PetersSUNV001746650Association for symbolic logicSUNV005253650ITSOL20200720RICASUN0054649UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 6774 I 20061023 Logic colloquium '901424986UNICAMPANIA