00702cam a2200205 i 4500 OSt 20260705164700.0 140327s2014 enk b 001 0 eng 9781107036505 (hbk.) Krea 551.3 NED Nederpelt, Rob. author. 382 Type theory and formal proof: an introduction / Rob Nederpelt, Herman Geuvers. New York : Cambridge University Press, 2014. xxv, 436 p. : 24 cm. Type theory. Programming Languages Science & Nature Philosophy 383 Geuvers, Herman, author. 384 ddc BK 124428 124428 0 0 ddc 0 0 SIAS SRICITYLIB SRICITYLIB 2026-07-05 Atlantic - 1214019/11 9657.00 0 551.3 NED K19393 2026-07-05 16:47:41 2026-07-05 BK