skip to content
 

First-order Proofs Without Syntax

Presented by: 
D Hughes Stanford University
Date: 
Thursday 3rd September 2015 - 15:10 to 15:40
Venue: 
INI Seminar Room 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons