Koha online

1.
Nuts and bolts of proofs

by Cupillari, Antonella.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 2001Availability: Items available for loan: [Call number: 511.3 CUP] (1).
Place hold
2.
Mathematical thinking and writing

by Maddox, Randall B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Harcourt, 2002Availability: Items available for loan: [Call number: 511.3 MAD] (1).
Place hold
3.
Adapting proofs-as-programs : the Curry-Howard protocol

by Crossley, John N | Poernomo, Iman Hafiz | Wirsing, Martin.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 511.36 POE] (1).
Place hold
4.
Accompaniment to higher mathematics

by Exner, George R.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 1996Availability: Items available for loan: [Call number: 511.3 EXN] (1).
Place hold
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 Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 1992Availability: Items available for loan: [Call number: 511.3 ACZ] (1).
Place hold
6.
Linear logic in computer science

by Ehrhard, Thomas.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 511.36 EHR] (1).
Place hold
7.
Software engineering 1 : abstraction and modelling.

by Bjorner, Dines | Bjorner, Dines.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2006Availability: Items available for loan: [Call number: 005.1 BJO] (1).
Place hold
8.
Memoirs of a proof theorist : godel and other logicians

by Passell, Nicholas.

Material type: book 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).
Place hold
9.
Structure of proof with logic and set theory

by O'Leary, Michael L.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Prentice Hall, 2002Availability: Items available for loan: [Call number: 511.3 OLE] (1).
Place hold
10.
No cover image available
Analysis with an introduction to proof

by Lay, Steven R.

Edition: 4th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Pearson, 2005Availability: Items available for loan: [Call number: 515 LAY] (1).
Place hold
11.
Moment of Proof

by Benson, Donald C.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Oxford University Press, 2000Availability: Items available for loan: [Call number: 511.3 BEN] (1).
Place hold
12.
Theorems, corollaries, lemmas, and methods of proof

by Rossi, Richard J.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: Wiley, 2006Availability: Items available for loan: [Call number: 511.36 ROS] (1).
Place hold
13.
Introduction to proof in abstract mathematics

by Wohlgemuth, Andrew.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Mineola: Dover Publications, 2011Availability: Items available for loan: [Call number: 511.36 WOH] (1).
Place hold
14.
Three views of logic : mathematics, philosophy, and computer science

by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
Place hold
15.
Handbook of mathematical induction : theory and applications

by Gunderson, David S.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boca Raton: Chapman & Hall/CRC, 2011Availability: Items available for loan: [Call number: 511.36 GUN] (1).
Place hold
16.
Explanation and proof in mathematics : philosophical and educational perspectives

by Hanna, Gila | Jahnke, Hans Niels | Pulte, Helmut.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2009Availability: Items available for loan: [Call number: 510.1 HAN] (1).
Place hold
17.
Proofs and fundamentals : a first course in abstract mathematics

by Bloch, Ethan D.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BLO] (1).
Place hold
18.
Extending the frontiers of mathematics : inquiries into proof and argumentation

by Burger, Edward B.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Hoboken: John Wiley & Sons, 2007Availability: Items available for loan: [Call number: 511.36 BUR] (1).
Place hold
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 Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 SAR] (1).
Place hold
20.
Hybrid logic and its proof-theory

by Brauner, Torben.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Dordrecht: Springer, 2011Availability: Items available for loan: [Call number: 511.3 BRA] (1).
Place hold

Powered by Koha