Christoph Benzmueller szerző bemutatása:

Christoph Benzmueller szerző eddig megjelent könyvei:

Érvelés az egyszerű típuselméletben: Festschrift in Honor of Peter B. Andrews on His 70th Birthday...

Kings College Pubn

A Reasoning in Simple Type Theory egy olyan...

Érvelés az egyszerű típuselméletben: Festschrift in Honor of Peter B. Andrews on His 70th Birthday (Festschrift Peter B. Andrews 70. születésnapja tiszteletére) - Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday

<<

1

>>