Estonian-Finnish Logic Meeting

Negri, S. (Talare: Presentation)

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Beskrivning

Glivenko sequent classes in the light of structural proof theory

http://cs.ioc.ee/logic-rakvere/
Period13 nov 201515 nov 2015
Typ av evenemang!!Other
PlatsRakvere, Estland
OmfattningInternationell