|
81.
|
Roads to infinity : the mathematics of truth and proof
by Stillwell, John. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Natick: A K Peters, 2010Availability: Items available for loan: [Call number: 511.322 STI] (1).
|
|
82.
|
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: No items available Checked out (1).
|
|
83.
|
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).
|
|
84.
|
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).
|
|
85.
|
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).
|
|
86.
|
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).
|
|
87.
|
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).
|
|
88.
|
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).
|
|
89.
|
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).
|
|
90.
|
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).
|
|
91.
|
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: No items available Checked out (1).
|
|
92.
|
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] (6). Items available for reference: [Call number: 511.3 BEN] (2).
|
|
93.
|
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).
|
|
94.
|
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).
|
|
95.
|
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).
|
|
96.
|
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).
|
|
97.
|
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).
|
|
98.
|
Foundations of decision-making agents : logic, probability and modality
by Das, Subrata. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Singapore: World Scientific, 2008Availability: Items available for loan: [Call number: 006.33 DAS] (1).
|
|
99.
|
Diamond : a paradox logic
by Hellerstein, N. S. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: World Scientific, 2010Availability: Items available for loan: [Call number: 511.3 HEL] (1).
|
|
100.
|
Guide to classical and modern model theory
by Marcja, Annalisa | Toffalori, Carlo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boston: Kluwer Academic Publishers 2003Availability: Items available for loan: [Call number: 511.3 MAR] (1).
|