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 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) .
Mathematical logic by George Tourlakis.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: John Wiley & Sons; Hoboken, New Jersey 2008 Availability: Items available for loan: Central Library (1)Call number: 005.131 TOU(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) .
Lectures On The Logic Of Computer Programming by Zohar Manna.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Socy.For Indl.& Appld.Maths.SIAM 1980 Availability: Items available for loan: Central Library (1)Call number: 005.1 MAN(LEC) .