Jan Smith - Böcker
Twenty Five Years of Constructive Type Theory
Av Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith
Inbunden, Engelska, 1998
1 619 kr
Häftad, Engelska, 2016
319 kr
Häftad, Engelska, 2011
159 kr
Häftad, Engelska, 2012
1 009 kr
Häftad, Engelska, 2009
309 kr
Häftad, Engelska, 2022
199 kr
Inbunden, Engelska, 2005
379 kr
Häftad, Engelska, 2013
129 kr
Häftad, Engelska, 2021
199 kr
Häftad, Engelska, 2019
189 kr
Häftad, Engelska, 2020
239 kr
Inbunden, Engelska, 2020
379 kr
Inbunden, Engelska, 2026
3 609 kr
Types for Proofs and Programs
Av Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, Engelska, 2000
709 kr
Types for Proofs and Programs
Häftad, Engelska, 1995
709 kr