Your search returned 2 results.

Not what you expected? Check for suggestions
Extensions of First Order Logic

by Manzano, Maria.

Series: Cambridge Tracts in Theoretical Computer Science, V.19Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MAN.

Tools for Teaching Logic [electronic resource] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano.

by Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, María [editor.] | Soler-Toscano, Fernando [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 6680Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha