Results
Logic and structure by Dirk van Dalen.
Series: Universitext Edition: Fourth EditionMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer-Verlag; Berlin, New York 2004 Availability: Not available: Central Library: Checked out (1).
Mathematical logic by Heinz-Dieter Ebbinghaus | Jorg Flum | Wolfgang Thomas.
Edition: Second editionMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer-Verlag, New York 1994 Availability: Items available for loan: Central Library (1)Call number: 511.3 EBB(MAT) .
Mathematical logic by J. Donald Monk.
Series: Graduate texts in mathematics, 37 Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer-Verlag, New York 1976 Availability: Items available for loan: Central Library (1)Call number: 511.3 MON(MAT) .
Logic synthesis and verification algorithms by Gary D. Hachtel | Fabio Somenzi.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer (India), 2006 Availability: Items available for loan: Central Library (1)Call number: 621.395 HAC(LOG) .
Nyāya-paricaya : hindī rūpāntara by Phaṇibhūṣan Tarkavāgīś | Kiśoranātha Jhā (tr.) | Dīneścandra Guha (ed.).
Series: Vidyābhavan Raṣtrabhāṣā Granthamālā, 118 Material type: Text; Format:
print
; Literary form:
Not fiction
Language: Hindi Publication details: Caukhāmbā Vidyābhavan 1968 Availability: Items available for loan: Central Library (1)Call number: 181.43 TAR(NYA) .
Contemporary logic design by Randy H. Katz | Gaetano Borriello.
Edition: Second ditionMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Prentice-Hall of India, 2005 Availability: Items available for loan: Central Library (1)Call number: 621.395 KAT(CON) .
Mathematical logic for computer science by Mordechai Ben-Ari.
Edition: Second editionMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer (India) Private Limited, New Delhi 2005 Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT) .
Logic synthesis and verification algorithms by Gary D. Hachtel | Fabio Somenzi.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer, 2006 Availability: Items available for loan: Central Library (1)Call number: 621.395 HAC(LOG) .
Mathematical logic by Ian Chiswel | Wilfrid Hodges.
Series: Oxford texts in logic, 3 Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Oxford University Press, New York, London 2007 Availability: Items available for loan: Central Library (1)Call number: 511.3 CHI(MAT) .
Mathematical logic for computer science by Mordechai Ben-Ari.
Edition: Second editionMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer (India) Private Limited, New Delhi 2005 Availability: Items available for loan: Central Library (1)Call number: 005.131 BEN(MAT) .