IMSc Library catalog › Results of search for 'su-br:au:"Mundici, D"'

Your search returned 3 results.

Not what you expected? Check for suggestions

			Algebraic and Proof-theoretic Aspects of Non-classical Logics [electronic resource] : Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday / edited by Stefano Aguzzoli, Agata Ciabattoni, Brunella Gerla, Corrado Manara, Vincenzo Marra. by Aguzzoli, Stefano [editor.] \| Ciabattoni, Agata [editor.] \| Gerla, Brunella [editor.] \| Manara, Corrado [editor.] \| Marra, Vincenzo [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 4460Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Computational Logic and Proof Theory [electronic resource] : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings / edited by Georg Gottlob, Alexander Leitsch, Daniele Mundici. by Gottlob, Georg [editor.] \| Leitsch, Alexander [editor.] \| Mundici, Daniele [editor.] \| SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 713Source: Springer eBooksMaterial type: Text;Language: English; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1993Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags
			Methods and applications of mathematical logic : [electronic resource] proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 / Walter A. Carnielli and Luiz Paulo de Alcantara, editors. by Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) \| Carnielli, Walter A. (Walter Alexandre) \| Alcantara, Luiz Paulo de, 1944- \| Sociedade Brasileira de L�ogica \| Sociedade Brasileira de Matem�atica \| Association for Symbolic Logic. Series: Contemporary mathematics (American Mathematical Society) ; v. 69.Material type: Text;Language: English; Format: available online ; Literary form: Not fiction Publication details: Providence, R.I. : American Mathematical Society, c1988Online access: Contents \| Contents Availability: Items available for loan: IMSc Library (1). Location(s): . Place hold Log in to add tags

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha