Participants: Hirvonen, Asa, [ TeilnehmendeR ]; Kontinen, Juha, [ TeilnehmendeR ]; Kossak, Roman, 1953- [ TeilnehmendeR ]; Villaveces, Andres (Mathematics professor), [ TeilnehmendeR ]
Published: [2015]
Superior document: Ontos mathematical logic, volume 5