Treatise on Intuitionistic Type Theory /

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Johan Georg Granström, Johan Georg Granström (autor)
Формат:	Ном
Хэл сонгох:	англи
Хэвлэсэн:	Dordrecht, Holanda : Springer, 2011, c2011
Цуврал:	(Logic, Epistemology, and the Unity of Science)
Онлайн хандалт:	Ver documento en línea
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Ижил төстэй зүйлс: Treatise on Intuitionistic Type Theory /

Түргэн харуулах
Leo Esakia on Duality in Modal and Intuitionistic Logics /
Түргэн харуулах
An introductory treatise on the lunar theory /
Түргэн харуулах
The Nature and Types of Sociological Theory /
Түргэн харуулах
FIVE TYPES OF ETHICAL THEORY /
Түргэн харуулах
Treatise on Sustainability Science and Engineering /
Түргэн харуулах
Treatise on Thermodynamics /
Түргэн харуулах
Treatise on Hydraulics /
Түргэн харуулах
THREE TREATISES
Түргэн харуулах
Types for Proofs and Programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /
Түргэн харуулах
An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof /
Түргэн харуулах
Cognitive type theory learning style : a teacher's guide /
Түргэн харуулах
Types for Proofs and Programs : International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers /
Түргэн харуулах
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
Түргэн харуулах
Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings /
Түргэн харуулах
Types in Compilation : Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers /
Түргэн харуулах
MWW-Type Titanosilicate : Synthesis, Structural Modification and Catalytic Applications to Green Oxidations /
Түргэн харуулах
Ising-type Antiferromagnets : Model Systems in Statistical Physics and in the Magnetism of Exchange Bias /