" /> /cgi-bin/koha/unapi" /> /cgi-bin/koha/opac-search.pl?q=ccl=su%253A%2522Mathematical%2520symbolic%2520logic%2522&count=50&sort_by=acqdate_dsc&format=rss2" />

IIITV Library

Your cart is empty.

Your search returned 3 results. /cgi-bin/koha/opac-search.pl?q=ccl=su%253A%2522Mathematical%2520symbolic%2520logic%2522&count=50&sort_by=acqdate_dsc&format=rss2" class="rsssearchlink noprint">Subscribe to this search

Unhighlight Highlight
|
1.
Proofs and refutations The logic of mathematical discovery / by Imre Lakatos

by Lakatos, Imre | Worrall, John.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge Cambridge University Press 2015Availability: Items available for loan: [Call number: 511.36 LAK] (1).

Place hold Add to cart
2.
Introduction to formal languages and automata / by Peter Linz

by Linz, Peter.

Edition: 5thMaterial type: book Book; Format: print ; Literary form: Not fiction Publisher: New Delhi Jones & Bartlett Learning 2011Availability: Items available for loan: [Call number: 005.131 LIN] (1).

Place hold Add to cart
3.
Second course in formal languages and automata theory / by Jeffrey Shallit

by Shallit, Jeffrey.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge Cambridge University Press 2009Availability: Items available for loan: [Call number: 005.131 SHA] (1).

Place hold Add to cart

Central Library, Indian Institute of Information Technology, Vadodara
Block No.9, Government Engineering College,
Sector-28, Gandhinagar, Gujarat - 382028 (India)
library@iiitvadodara.ac.in

Powered by Koha