|
1.
|
Nuts and bolts of proofs
by Cupillari, Antonella. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: San Diego: Academic Press, 2001Availability: Items available for loan: [Call number: 511.3 CUP] (1).
|
|
2.
|
Mathematical thinking and writing
by Maddox, Randall B. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: London: Harcourt, 2002Availability: Items available for loan: [Call number: 511.3 MAD] (1).
|
|
3.
|
Adapting proofs-as-programs : the Curry-Howard protocol
by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
|
|
4.
|
Accompaniment to higher mathematics
by Exner, George R. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 EXN] (1).
|
|
5.
|
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990
by Aczel, Peter | Simmons, Harold | Wainer, Stanley S | Leeds Proof Theory Programme. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 511.3 ACZ] (1).
|
|
6.
|
Linear logic in computer science
by Ehrhard, Thomas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
|
|
7.
|
Software engineering 1 : abstraction and modelling.
by Bjorner, Dines | Bjorner, Dines. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
|
|
8.
|
Memoirs of a proof theorist : godel and other logicians
by Passell, Nicholas. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: World Scientific Publishing Company, 2003Availability: Items available for loan: [Call number: 510.92 YAS] (1).
|
|
9.
|
Structure of proof with logic and set theory
by O'Leary, Michael L. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Prentice Hall, 2002Availability: Items available for loan: [Call number: 511.3 OLE] (1).
|
|
10.
|
Analysis with an introduction to proof
by Lay, Steven R. Edition: 4th ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New Jersey: Pearson, 2005Availability: Items available for loan: [Call number: 515 LAY] (1).
|
|
11.
|
Moment of Proof
by Benson, Donald C. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Oxford University Press, 2000Availability: Items available for loan: [Call number: 511.3 BEN] (1).
|
|
12.
|
Theorems, corollaries, lemmas, and methods of proof
by Rossi, Richard J. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Hoboken: Wiley, 2006Availability: Items available for loan: [Call number: 511.36 ROS] (1).
|
|
13.
|
Introduction to proof in abstract mathematics
by Wohlgemuth, Andrew. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Mineola: Dover Publications, 2011Availability: Items available for loan: [Call number: 511.36 WOH] (1).
|
|
14.
|
Three views of logic : mathematics, philosophy, and computer science
by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
|
|
15.
|
Handbook of mathematical induction : theory and applications
by Gunderson, David S. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Boca Raton: Chapman & Hall/CRC, 2011Availability: Items available for loan: [Call number: 511.36 GUN] (1).
|
|
16.
|
Explanation and proof in mathematics : philosophical and educational perspectives
by Hanna, Gila | Jahnke, Hans Niels | Pulte, Helmut. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 510.1 HAN] (1).
|
|
17.
|
Proofs and fundamentals : a first course in abstract mathematics
by Bloch, Ethan D. Edition: 2nd ed.Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BLO] (1).
|
|
18.
|
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).
|
|
19.
|
Advances in Computing Science - ASIAN 2003 : Programming Languages and Distributed Computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : Proceedings
by Saraswat, Vijay A. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
|
|
20.
|
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).
|