01350nam0 2200313 i 450 VAN005464920240214101056.930978-15-688-1132-120061023d1993 |0itac50 baengUS|||| |||||Logic colloquium '90ASL summer meeting in HelsinkiJ. Oikkonen, J. Vaananen (eds.)NatickAssociation for Symbolic Logic ; A. K. Peters 1993VIII, 305 p.25 cm001VAN00651322001 Lecture notes in logic210 ChicagoAssociation for symbolic logic03-XXMathematical logic and foundations [MSC 2020]VANC019750MFNatickVANL000427OikkonenJuha Markku RobertVANV043306VäänänenJouko AnteroVANV043307Association for symbolic logicVANV043305726063Association for symbolic logicVANV111337650PetersVANV109174650ITSOL20240216RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0054649BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 6774 I 20061023 Logic colloquium '901424986UNICAMPANIA