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) .
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) .
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) .
Decision procedures : an algorithmic point of view by Daniel Kroening | Ofer Strichman.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Springer-Verlag 2008 Availability: Items available for loan: Central Library (1)Call number: 005.1 KRO(DEC) .
Rippling : meta-level guidance for mathematical reasoning by Alan Bundy | David Basin | Dieter Hutter | Andrew Ireland.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge University Press 2005 Availability: Items available for loan: Central Library (1)Call number: 006.333 RIP .
Linear logic in computer science by Thomas Ehrhard (ed.) | Jean-Yves Girard (ed.) | Paul Ruet (ed.) | Philip Scott (ed.).
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge University Press 2004 Availability: Items available for loan: Central Library (1)Call number: 004.0151136 LIN .
Linear logic in computer science by Thomas Ehrhard (ed.) | Jean-Yves Girard (ed.) | Paul Ruet (ed.) | Philip Scott (ed.).
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge University Press 2004 Availability: Items available for loan: Central Library (1)Call number: 004.0151136 LIN .
Set theory, logic and their limitations by Moshe Machover.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge University Press; Cambridge, New York 1996 Availability: Items available for loan: Central Library (1)Call number: 511.322 MAC(SET) .
Set theory, logic and their limitations by Moshe Machover.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge University Press; Cambridge, New York 1996 Availability: Items available for loan: Central Library (1)Call number: 511.322 MAC(SET) .
Decision procedures : an algorithmic point of view by Daniel Kroening | Ofer Strichman.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Springer-Verlag 2008 Availability: Items available for loan: Central Library (1)Call number: 004.015181 KRO(DEC) .
Logic for computer scientists by Uwe Schoning.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Birkhauser-Boston 2008 Availability: Items available for loan: Central Library (1)Call number: 004.015113 SCH(LOG) .
A course on mathematical logic by S. M. Srivastava.
Series: Universitext Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer, New York. 2008 Availability: Not available: Central Library: Checked out (1).