Theorem Proving in Higher Order LogicsVictor A. Carreno, Cesar A. Munoz, Sofiene TaharHäftad, 2002556 kr
Theorem Proving in Higher Order LogicsVictor A. Carreno, Cesar A. Munoz, Sofiene TaharHäftad, 2002556 kr
4 för 3Brevbäraren i LizzanelloFrancesca GiannonePocket, 20264,3 utav 5 stjärnor. Totalt antal röster:(37)99 kr