|
101.
|
Introduction to mathematical logic
by Mendelson, Elliott. Edition: 5th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: CRC Press, 2010Availability: Items available for loan: [Call number: 511.3 MEN] (1).
|
|
102.
|
Extending the frontiers of mathematics : inquiries into proof and argumentation
by Burger, Edward B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 511.36 BUR] (1).
|
|
103.
|
Computable models
by Turner, Raymond. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2009Availability: Items available for loan: [Call number: 511.352015118 TUR] (1).
|
|
104.
|
Science of operations : machines, logic and the invention of programming
by Priestley, Mark. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 005.109 PRI] (1).
|
|
105.
|
Formal methods for components and objects : second international symposium, Fmco 2003 Leiden, the Netherlands, November 2003
by Boer, Ffrank S. de | Bonsangue, Marcello M | Graf, Susanne | Roever, Willem-Paul de. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2004Availability: Items available for loan: [Call number: 004 BOE] (1).
|
|
106.
|
Dynamical systems, graphs, and algorithms
by Osipenko, George. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 515.39 OSI] (1).
|
|
107.
|
Temporal logic and state systems
by Merz, Stephan | Kroger, Fred. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2008Availability: Items available for loan: [Call number: 160 KRO] (1).
|
|
108.
|
Modelling distributed systems
by Fokkink, Wan. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 003.78 FOK] (1).
|
|
109.
|
Symbolic-numeric computation
by Wang, Dongming | Zhi, Lihong. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Birkhauser, 2007Availability: Items available for loan: [Call number: 511.352 WAN] (1).
|
|
110.
|
Fundamentals of discrete mathematical structures
by Chowdhary, K. R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Prentice Hall of India, 2008Availability: Items available for loan: [Call number: 511 CHO] (1).
|
|
111.
|
Infinity and the mind : the science and philosophy of the infinite
by Rucker, Rudy Von B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: New Age International, 2007Availability: Items available for loan: [Call number: 111.6 RUC] (1).
|
|
112.
|
Mathematical introduction to logic
by Enderton, Herbert B. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 2006Availability: Items available for loan: [Call number: 511.3 END] (1).
|
|
113.
|
Khadi : Gandhi's mega symbol of subversion
by Gonsalves, Peter. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Sage Publications, 2012Availability: Items available for loan: [Call number: 391.00954 GON] (1).
|
|
114.
|
Mathematical logic for computer science
by Ben Ari, Mordechai. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Springer, 2003Availability: Items available for loan: [Call number: 511.3 BEN] (8).
|
|
115.
|
Goddess and the nation : mapping Mother India
by Ramaswamy, Sumathi. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Zubaan Books, 2010Availability: Items available for loan: [Call number: 954.035 RAM] (2).
|
|
116.
|
Logic : a brief course
by Mundici, Daniele. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Milan: Springer, 2012Availability: Items available for loan: [Call number: 511.3 MUN] (1).
|
|
117.
|
Logic, sets, and recursion
by Causey, Robert L. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Delhi: Jones & Bartlett, 2010Availability: Items available for loan: [Call number: 511.3 CAU] (4).
|
|
118.
|
Hybrid logic and its proof-theory
by Brauner, Torben. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BRA] (1).
|
|
119.
|
Paradoxes in probability theory
by Eckhardt, William. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2013Availability: Items available for loan: [Call number: 519.2 ECK] (1).
|
|
120.
|
Multi-Dimensional Modal Logic
by Marx, Maarten | Venema, Yde. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Dordrecht: Springer, 1997Availability: Items available for loan: [Call number: 160 MAR] (1).
|