Library - International Centre for Theoretical Sciences catalog › Results of search for 'ccl=au:"Daniele Mundici"'

Search

Your search returned 7 results.

Not what you expected? Check for suggestions

	1.	Algebra and its applications : International Workshop on Algebra and Its Applications, March 2226, 2005, Ohio University, Athens, OH by Huynh Dinh Van \| Jain S K \| LopezPermouth S R. Series: Contemporary mathematics ; v. 419Material type: Computer file; Format: electronic Publication details: Providence, RI : American Mathematical Society, c2006Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	2.	Computational Logic and Proof Theory by Georg Gottlob, Alexander Leitsch, Daniele Mundici. Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	3.	Computational Logic and Proof Theory by Georg Gottlob, Alexander Leitsch, Daniele Mundici. Series: Lecture Notes in Computer ScienceEdition: 1993Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1993Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	4.	Logic: a Brief Course by Daniele Mundici. Series: UNITEXTEdition: 2012Material type: Computer file; Format: electronic Publication details: Springer Milan 2012Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	5.	Logica: Metodo Breve by Daniele Mundici. Series: UNITEXTEdition: 2011Material type: Computer file; Format: electronic Publication details: Springer Milan 2011Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	6.	Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29August 2, 1985 by Alcantara Luiz Paulo de \| Carnielli Walter A. Series: Contemporary mathematics ; v. 69Material type: Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)
	7.	Theorem Proving with Analytic Tableaux and Related Methods by Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi. Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): . Add to cart (remove)