01439nam0 2200325 i 450 VAN0005464920241216122139.847978-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 cm001VAN000651322001 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 logicVANV111337650PetersVANV109174650ITSOL20241220RICA/sebina/repository/catalogazione/documenti/ID 54649.pdfID 54649.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00054649BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2495 08 6774 I 20061023 Logic colloquium '901424986UNICAMPANIA