Results
Computability and logic by George S. Boolos | John P. Burgess | Richard C. Jeffrey.
Series: Edition: 5th ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge University Press 2007 Availability: Items available for loan: Central Library (1)Call number: 004.01511352 BOO(COM) .
Discrete structures, logic, and computability by James L. Hein.
Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Jones and Bartlett India 2010 Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS) .
Discrete structures, logic, and computability by James L. Hein.
Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Jones and Bartlett India 2010 Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS) .
Discrete structures, logic, and computability by James L. Hein.
Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Jones and Bartlett India 2010 Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS) .
Discrete structures, logic, and computability by James L. Hein.
Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Jones and Bartlett India 2010 Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS) .
Discrete structures, logic, and computability by James L. Hein.
Edition: 3rd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Jones and Bartlett India 2010 Availability: Items available for loan: Central Library (1)Call number: 004.0151 HEI(DIS) .
A logical introduction to proof by Daniel W. Cunningham.
Edition: Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer 2012 Availability: Items available for loan: Central Library (1)Call number: 004.015113 CUN(LOG) .
Introduction to the foundations of mathematics by Raymond Louis Wilder.
Edition: 2nd ed.Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: John Wiley c1965 Availability: Items available for loan: Central Library (1)Call number: 510 WIL(INT) .
Logic and discrete mathematics : a concise introduction by Willem Conradie | Valentin Goranko.
Edition: Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: John Wiley & Sons Inc 2015 Availability: Items available for loan: Central Library (1)Call number: 004.015113 CON(LOG) .
Algebra and computer science by Delaram Kahrobaei (ed.) | Bren Cavallo (ed.) | David Garber (ed.).
Series: Contemporary Mathematics; 677 Edition: Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: American Mathematical Society c2016 Availability: Items available for loan: Central Library (1)Call number: 512.0285 ALG .
Interpreting Gödel : critical essays by Juliette Kennedy (ed.).
Edition: Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Cambridge University Press 2014 Availability: Items available for loan: Central Library (1)Call number: 511.3 INT .
Introduction to Mathematica® with applications by Marian Mureşan.
Edition: Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer c2017 Availability: Items available for loan: Central Library (1)Call number: 510.285536 MUR(INT) .
Problems and theorems in classical set theory by Peter Komjath | Vilmos Totik.
Edition: 1st Indian ReprintMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer India Pvt. Ltd. 2011 Availability: Items available for loan: Central Library (1)Call number: 511.322 KOM(PRO) .
A course on Borel sets by S. M. Srivastava.
Series: Graduate studies in mathematics, Vol 180 Edition: 1st Indian reprintMaterial type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Springer (India) Private Limited 2010 Availability: Items available for loan: Central Library (1)Call number: 511.32 SRI(COU) .
A first course in logic by Mark V. Lawson.
Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: CRC Press 2019 Availability: Items available for loan: Central Library (1)Call number: 511.3 LAW(FIR) .