<![CDATA[Central Library Search for 'au:"SMULLYAN, R.M."']]>

<![CDATA[Central Library Search for 'au:"SMULLYAN, R.M."']]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22SMULLYAN%2C%20R.M.%22&format=rss2 4 0 50 FIRST-ORDER LOGIC ISBN 0-486-68370-2 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6290

By SMULLYAN,R.M. NEW YORK DOVER 1995 . xii+155p.,21x13Cms 0-486-68370-2

Place Hold on FIRST-ORDER LOGIC

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=6290 FIRST ORDER LOGIC ISBN 0486683702 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=27757

By SMULLYAN,R.M. NEW YORK DOVER 1995 . xii+155p.,21x13Cms 0486683702

Place Hold on FIRST ORDER LOGIC

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=27757 THEORY OF FORMAL SYSTEMS ISBN 069108047X https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=30212

By SMULLYAN, R.M.. New Jersey Princeton University Press 1996 . viii+141p.,23X15.5Cm 069108047X

Place Hold on THEORY OF FORMAL SYSTEMS

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=30212 FIRST-ORDER LOGIC ISBN 0486683706 https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=40840 By SMULLYAN, R.M.. NEW YORK DOVER 1995 . xii+158p.,21X14Cms. 0486683706

Place Hold on FIRST-ORDER LOGIC

]]> https://opac.l2.nitk.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=40840