|
|
181.
|
Indian logic : a reader / edited by Jonardon, Ganeri
by Ganeri, Jonardon [editor]. Material type:  Text; Literary form:
Not fiction
; Audience:
General;
Publisher: New York : Routledge, 2011Availability: Items available for loan: Central Library
[Call number: 160.954 GAN/I]
(1).
|
|
|
182.
|
Metalogic: an Introduction to the metatheory of standard first order logic/ by Geoffrey Hunter
by Hunter,Geoffrey [Author]. Material type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
General;
Publisher: London: University of California Press, 1971Availability: Items available for loan: Central Library
[Call number: 511.3 HUN/M]
(1).
|
|
|
183.
|
Set theory and logic/ by Robert R. Stoll
by Stoll, Robert R [Author]. Material type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
General;
Publisher: New York: Dover Publications, 1961Availability: Items available for loan: Central Library
[Call number: 511.322 STO/S]
(1).
|
|
|
184.
|
Buddhist Logic/ by Th. Stcherbatsky
by Stcherbatsky,T H [Author]. Edition: 1st ed./Material type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Delhi: Motilal Banarsi Dass, 1993Availability: Items available for loan: Central Library
[Call number: 181.043 STC/B]
(4).
|
|
|
185.
|
Digital logic and computer design / by M. Morris Mano.
by Mano,M Morris. Material type: Text; Format:
regular print
; Audience:
General;
Publisher: India, Pearson : 2016Availability: Items available for loan: Central Library
[Call number: 621.38153 MAN/D]
(2). Items available for reference: Central Library
[Call number: 621.38153 MAN/D]
(1).
|
|
|
186.
|
Modern VLSI design : IP-based design / by wayne Wolf
by Wolf, Wayne. Edition: 4th ed.Material type: Text; Literary form:
Not fiction
; Audience:
General;
Publisher: Noida : Pearson , 2009Availability: Items available for loan: Central Library
[Call number: 621.395 WOL/M]
(1).
|
|
|
187.
|
Tarkabhasa/ by Sri Kesava Misra ;edited by Gajanan Shastri Musalgaonkar
by Musalgaonkar,Gajanan Shastri [Author] | Musalgaonkar,Gajanan Shastri [Editor]. Material type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Varanasi: Chaukhamba Surbharati Prakashan, 2013Availability: Items available for loan: Central Library
[Call number: 160 MIS/T]
(2).
|
|
|
188.
|
Tarkabhasa/ by Surendradeb Shastri
by Shastri,Surendradeb [Author]. Material type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Varanashi: Chawkhambha Vidyabhawan, 2015Availability: Items available for loan: Central Library
[Call number: 160 SHA/T]
(2).
|
|
|
189.
|
Nyāya-paricaya / Phaṇibhūṣaṇa Tarkavāgīśa viracita ; rūpāntarakāra, Kiśoranātha Jhā ; sampādaka, Dineśacandra Guha.
by Tarkavāgīśa, Phaṇibhūṣaṇa, 1875-1941 [author] | Jhā, Kiśoranātha [translator.] | Guha, Dineśacandra [editor.]. Material type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
Specialized;
Publisher: Vārāṇasī: Caukhambā Vidyābhavana, 1968Availability: Items available for loan: Central Library
[Call number: 181.43 JHA/N]
(2).
|
|
|
190.
|
Introduction to languages and the theory of computation / by John C. Martin
by Martin, John C. Edition: 3rd ed.Material type: Text; Literary form:
Not fiction
; Audience:
General;
Publisher: New Delhi : Tata McGraw Hill Education , 2003Availability: Items available for loan: Central Library
[Call number: 511.3 MAR/I]
(1).
|
|
|
191.
|
Digital logic design / Habibulla Khan and Akbar Khan.
by Khan, Habibulla | Khan, Akbar. Edition: /Material type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
General;
Publisher: Chennai : Scitech Publications (India) , 2008 [ reprinted 2017 ]Availability: Items available for loan: Central Library
[Call number: 621.395 KHA/D]
(2).
|
|
|
192.
|
Jayanta Bhatta's Nyaya Manjari: the compendium of Indian speculative logic/ by Janaki Vallabha Bhattacharyya
by Bhattacharyya, Janaki Vallabha [Author]. Edition: 1st edMaterial type: Text; Format:
regular print
; Literary form:
Not fiction
; Audience:
General;
Publisher: New Delhi: Motilal Banarsidass Publishers, 1978Availability: Items available for loan: Central Library
[Call number: 181.43 BHA/N]
(1).
|
|
|
193.
|
Mainstream and Formal Epistemology [ electronic resource ] / by Vincent F. Hendricks.
by Hendricks, Vincent F. Material type: Text; Format:
available online
 ; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge: Cambridge University Press , 2009Online access: https://doi.org/10.1017/CBO9780511616150 View to click Availability: Items available for loan: Central Library
[Call number: 121 HEW/M]
(1).
|
|
|
194.
|
Understanding Phenomenal Consciousness [ electronic resource ] / by William S. Robinson.
by Robinson, William S. Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge: Cambridge University Press , 2009Online access: https://doi.org/10.1017/CBO9780511498886 View to click Availability: Items available for loan: Central Library
[Call number: 126 ROB/U]
(1).
|
|
|
195.
|
The Elements of UML™ 2.0 Style [ electronic resource ] / by Scott W. Ambler.
by Ambler, Scott W. Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge: Cambridge University Press , 2010Online access: https://doi.org/10.1017/CBO9780511817533 View to click Availability: Items available for loan: Central Library
[Call number: 005.1 AMB/E]
(1).
|
|
|
196.
|
Computational Logic and Human Thinking : How to Be Artificially Intelligent [ electronic resource ] / by Robert Kowalski.
by Kowalski, Robert. Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge: Cambridge University Press , 2011Online access: https://doi.org/10.1017/CBO9780511984747 View to click Availability: Items available for loan: Central Library
[Call number: 511.3 KOW/C]
(1).
|
|
|
197.
|
Illustrating C [ electronic resource ] / by Donald G. Alcock.
by Alcock, Donald G. Edition: 2nd ed.Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge: Cambridge University Press , 2010Online access: https://doi.org/10.1017/CBO9780511624179 View to click Availability: Items available for loan: Central Library
[Call number: 005.133 ALC/I]
(1).
|
|
|
198.
|
Logic Programming : Operational Semantics and Proof Theory [ electronic resource ] / by James H. Andrews.
by Andrews, James H. Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge: Cambridge University Press , 2009Online access: https://doi.org/10.1017/CBO9780511526534 View to click Availability: Items available for loan: Central Library
[Call number: 004.01 AND/L]
(1).
|
|
|
199.
|
Categories and Computer Science [ electronic resource ] / by R. F. C. Walters.
by Walters, R. F. C. Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge: Cambridge University Press , 2009Online access: https://doi.org/10.1017/CBO9780511608872 View to click Availability: Items available for loan: Central Library
[Call number: 511.3 WAL/C]
(1).
|
|
|
200.
|
Deductive and Declarative Programming [ electronic resource ] / by Peter Padawitz.
by Padawitz, Peter. Material type: Text; Format:
available online
; Literary form:
Not fiction
; Audience:
General;
Publisher: Cambridge University Press, 2009Online access: https://www.cambridge.org/core/books/deductive-and-declarative-programming/4FD16BB3789C5EE43D36B577BC87D29F View to click Availability: Items available for loan: Central Library (1).
|
