Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'su:Typentheorie'

Votre recherche a retourné 4 résultats.

		Basic simple type theory par Hindley, James Roger, Publication : Cambridge [et cetera] Cambridge University Press. 1997 . XI, 186 pages 24 cm. Date : 1997 Disponibilité : Exemplaires disponibles: La bibliothèque des sciences de l'ingénieur (1), Réserver Ajouter au panier (Supprimer)
		Foundational theories of classical and constructive mathematics / Publication : Dordrecht ; \| New York : Springer, 2011 . xi, 314 pages ; 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Categorical logic and type theory / par Jacobs, Bart. Publication : . 1 online resource (xviii, 760 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444501707, http://www.sciencedirect.com/science/publication?issn=0049237X&volume=141, Ajouter au panier (Supprimer)
		Mathematical logic / par Turing, Alan Mathison, Publication : . 1 online resource (xii, 293 pages) : Disponibilité : http://www.sciencedirect.com/science/book/9780444504234, Ajouter au panier (Supprimer)

Vous ne trouvez pas ce que vous cherchez ?