Catalogue SUDOC

rechercher (et)

(Mots du titre)

Introduction to symbolic logic and its applications

| 3 résultat(s)

Services

Affiner la recherche

	1.	Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I 1st ed. 2016. / 2016
	2.	Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012 Babu, B. V. / Springer India : Springer e-books : Imprint: Springer : Springer e-books / 2014
	3.	Introduction to symbolic logic and its applications Carnap, Rudolf (1891-1970) / Dover publications / cop. 1958