Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Your search returned 50 results. Subscribe to this search

|
1. Annals of pure and applied logic

Material type: Continuing resource Continuing resource; Format: print ; Type of continuing resource: periodical Publisher: Amsterdam : North-Holland, c1983-Online access: Online Availability: Items available for loan: [Call number: 510 AML] (141).
2. The bulletin of symbolic logic

by Association for Symbolic Logic.

Material type: Continuing resource Continuing resource; Format: print ; Type of continuing resource: periodical Publisher: Champaign, IL : Association for Symbolic Logic, c1995-Online access: Online Availability: Items available for loan: [Call number: 511.3 BSL] (31).
3. The journal of logic programming.

by Syracuse University. Logic Programming Research Center | Association for Logic Programming.

Material type: Continuing resource Continuing resource; Format: print ; Type of continuing resource: periodical Publisher: New York, NY : Elsevier Science Pub. Co., c1984-2000Availability: Items available for loan: (12).
4. Journal of symbolic logic

by Association for Symbolic Logic.

Material type: Continuing resource Continuing resource; Format: print ; Type of continuing resource: periodical Publisher: Pasadena, CA [etc.] Association for Symbolic Logic. Online access: Online Availability: Items available for loan: [Call number: 511.3 JSL] (97).
5. First course in mathematical logic [electronic resource] [by] Patrick Suppes and Shirley Hill.

by Suppes, Patrick, 1922- | Hill, Shirley A [joint author.].

Edition: [1st ed.]Material type: Text Text; Format: print available online remote; Literary form: Not fiction Publisher: New York, Blaisdell Pub. Co. [1964]Online access: Free eBook from the Internet Archive | Additional information and access via Open Library Availability: No items available
6. Fuzzy thinking : [electronic resource] the new science of fuzzy logic / Bart Kosko.

by Kosko, Bart.

Edition: 1st ed.Material type: Text Text; Format: print available online remote; Literary form: Not fiction Publisher: New York : Hyperion, c1993Online access: Free eBook from the Internet Archive | Additional information and access via Open Library Availability: No items available
7. Gödel, Escher, Bach : [electronic resource] an eternal golden braid / Douglas R. Hofstadter.

by Hofstadter, Douglas R, 1945-.

Edition: 1st Vintage Books ed.Material type: Text Text; Format: print available online remote; Literary form: Not fiction Publisher: New York : Vintage Books, 1980, c1979Online access: Free eBook from the Internet Archive | Additional information and access via Open Library Availability: No items available
8. A mathematical introduction to logic [electronic resource] [by] Herbert B. Enderton.

by Enderton, Herbert B.

Material type: Text Text; Format: print available online remote; Literary form: Not fiction Publisher: New York, Academic Press [1972]Online access: Free eBook from the Internet Archive | Additional information and access via Open Library Availability: No items available
9. Mathematical logic [electronic resource] [by] Joseph R. Shoenfield.

by Shoenfield, Joseph R. (Joseph Robert), 1927-.

Material type: Text Text; Format: print available online remote; Literary form: Not fiction Publisher: Reading, Mass., Addison-Wesley Pub. Co. [1967]Online access: Free eBook from the Internet Archive | Additional information and access via Open Library Availability: No items available
10. Meaning and necessity : [electronic resource] a study in semantics and modal logic / by Rudolf Carnap ...

by Carnap, Rudolf, 1891-1970.

Material type: Text Text; Format: print available online remote; Literary form: Not fiction Publisher: Chicago, Ill. : University of Chicago Press, [1947]Online access: Free eBook from the Internet Archive | Additional information and access via Open Library Availability: No items available
11. Logic [electronic resource] / Paul Tomassi.

by Tomassi, Paul, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London ; New York : Routledge, 1999Online access: EBSCOhost Availability: No items available
12. The evolution of reason [electronic resource] : logic as a branch of biology / William S. Cooper.

by Cooper, William S.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge, UK ; New York : Cambridge University Press, 2001Online access: EBSCOhost Availability: No items available
13. Free logic [electronic resource] : selected essays / Karel Lambert.

by Lambert, Karel, 1928-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge, UK ; New York : Cambridge University Press, 2003Online access: EBSCOhost Availability: No items available
14. Paradox and paraconsistency [electronic resource] : conflict resolution in the abstract sciences / John Woods.

by Woods, John (John Hayden).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge, U.K. ; New York : Cambridge University Press, 2003Online access: EBSCOhost Availability: No items available
15. Computability and logic [electronic resource].

by Boolos, George | Burgess, John P, 1948- | Jeffrey, Richard C.

Edition: 4th ed. / George S. Boolos, John P. Burgess, Richard C. Jeffrey.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cambridge ; New York : Cambridge University Press, 2002Online access: EBSCOhost Availability: No items available
16. Mathematics and the image of reason [electronic resource] / Mary Tiles.

by Tiles, Mary.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London ; New York : Routledge, 1991Online access: EBSCOhost Availability: No items available
17. Logik und Theologie [electronic resource] : das Organon im arabischen und im lateinischen Mittelalter / herausgegeben von Dominik Perler & Ulrich Rudolph.

by Perler, Dominik | Rudolph, Ulrich.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Leiden ; Boston : Brill, 2005Online access: EBSCOhost Availability: No items available
18. Logica modernorum in Prague about 1400 [electronic resource] : the sophistria disputation 'Quoniam quatuor' (MS Cracow, Jagiellonian Library 686, FF. 1RA-79RB), with a partial reconstruction of Thomas of Cleve's Logica / edition with an introduction and appendices by E.P. Bos.

by Bos, Egbert P, 1947- | Thomas, de Clivis, 14th cent. Speculum logicale.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Leiden ; Boston : Brill, 2004Online access: EBSCOhost Availability: No items available
19. The art and logic of Ramon Llull [electronic resource] : a user's guide / by Anthony Bonner.

by Bonner, Anthony.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Leiden ; Boston : Brill, 2007Online access: EBSCOhost Availability: No items available
20. The many roots of medieval logic [electronic resource] : the aristotelian and the non-aristotelian traditions : special offprint of Vivarium 45, 2-3 (2007) / edited by John Marenbon.

by Marenbon, John.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Leiden ; Boston : Brill, 2007Online access: EBSCOhost Availability: No items available
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter