International Summer School for Proof Theory in First-Order-Logic

View Statistics Email Alert RSS Feed

Description

Event name
International Summer School for Proof Theory in First-Order-Logic
 
Event type
Event for scientific audience
 
Start date
22-08-2017
End date
27-08-2017
 
Location
Funchal
Country
Portugal
 
Event format Veranstaltungsformat
On Site

Publications Publikationen


Treffer 1-4 von 4 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Baaz, Matthias Epsilon Calculus IIPräsentation Presentation2017
2Hetzl, Stefan Hilbert's Larger ProgrammePräsentation Presentation2017
3Lolic, Anela Proof normalization and expansion proofsPräsentation Presentation2017
4Aguilera Ozuna, Juan Pablo Proofs on systems with unsound rulesPräsentation Presentation2017