Besonderhede van voorbeeld: -627357992464554260

Metadata

Author: Literature

Data

English^[en]

The text of this lecture (entitled 'In what sense is intuitionistic logic constructive?')

Spanish^[es]

El texto de esta conferencia (titulada «¿En qué sentido es constructiva la lógica intuicionista?»

History

Your action: