Recenzje
Nie ma jeszcze recenzji
Bądź pierwszy, aby zrecenzować tę książkę i podziel się swoimi przemyśleniami
Zaloguj się, aby recenzować
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Brak ocen