Catalogue Bibliothèque de L'IMIST/CNRST › Résultats de la recherche pour 'se:Trends in logic'

Votre recherche a retourné 7 résultats.

		Gentzen calculi for modal propositional logic par Poggiolesi, Francesca Publication : Dordrecht \| New York Springer 2011 . 222 pages 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Methods of cut-elimination par Baaz, Matthias. Publication : Dordrecht ; \| Heidelberg \| New York : Springer 2011 . vi, 287 pages 24 cm. Date : 2011 Disponibilité : Exemplaires disponibles: La bibliothèque des Sciences Exactes et Naturelles (1), Réserver Ajouter au panier (Supprimer)
		Leśniewski's Systems of Logic and Foundations of Mathematics par Urbaniak, Rafal. Publication : . XIII, 229 p. 3 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-00482-2, Ajouter au panier (Supprimer)
		Adaptive Logics for Defeasible Reasoning Applications in Argumentation, Normative Reasoning and Default Reasoning / par Straßer, Christian. Publication : . XVIII, 438 p. 34 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-00792-2, Ajouter au panier (Supprimer)
		Logics and Falsifications A New Perspective on Constructivist Semantics / par Kapsner, Andreas. Publication : . X, 217 p. 18 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-05206-9, Ajouter au panier (Supprimer)
		Recent Trends in Philosophical Logic Publication : . VIII, 209 p. 12 illus. Disponibilité : http://dx.doi.org/10.1007/978-3-319-06080-4, Ajouter au panier (Supprimer)
		Advances in Natural Deduction A Celebration of Dag Prawitz's Work / Publication : . XVI, 279 p. 24 illus. Disponibilité : http://dx.doi.org/10.1007/978-94-007-7548-0, Ajouter au panier (Supprimer)