Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Project

Analyse van Impredicatieve bewijsbaarheidslogica's

Outputs & impact

Doctoraal onderzoeker

Alakh Dhruv Chopra

Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde

Administratief verantwoordelijk promotor

Andreas Weiermann

Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde

Promotor

Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde

Externe promotor

David Fernandez-Duque