Type Theory
Los 10 mejores productos de mayo de 2025
Última actualización:
24 de mayo de 2025
Cambridge University Press
Type Theory and Formal Proof: An Introduction
Envío gratis
98
CALIDAD MÁXIMA
VER EN AMAZON
Amazon.es
#1 GANADOR
Cambridge University Press
Higher-Order Logic and Type Theory (Elements in Philosophy and Logic) (English Edition)
98
CALIDAD MÁXIMA
VER EN AMAZON
Amazon.es
#2
Birkhäuser
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic Book 29) (English Edition)
92
CALIDAD EXCELENTE
VER EN AMAZON
Amazon.es
#3
Apress
Magical Haskell: A Friendly Approach to Modern Functional Programming, Type Theory, and Artificial Intelligence (English Edition)
92
CALIDAD EXCELENTE
VER EN AMAZON
Amazon.es
#4
Springer
History and Philosophy of Constructive Type Theory (Synthese Library Book 290) (English Edition)
85
CALIDAD FIABLE
VER EN AMAZON
Amazon.es
#5
Springer
The Type Theory of Law: An Essay in Psychoanalytic Jurisprudence (SpringerBriefs in Law) (English Edition)
80
CALIDAD BUENA
VER EN AMAZON
Amazon.es
#6
Springer-Verlag GmbH
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
Envío gratis
80
CALIDAD BUENA
VER EN AMAZON
Amazon.es
#7
Cambridge University Press
Introduction to Homotopy Type Theory: 219 (Cambridge Studies in Advanced Mathematics, Series Number 219)
Envío gratis
75
CALIDAD BUENA
VER EN AMAZON
Amazon.es
#8
Rockport Publishers
Universal Principles of Typography: 100 Key Concepts for Choosing and Using Type (Rockport Universal)
65% Descuento
Envío gratis
71
CALIDAD BUENA
VER EN AMAZON
Amazon.es
#9
Birkhäuser
Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)
24% Descuento
Envío gratis
70
CALIDAD BUENA
VER EN AMAZON
Amazon.es
#10
type
#1 GANADOR
