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
>>

© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)