Your search returned 8 results.

Not what you expected? Check for suggestions
Axiomatising the logic of computer programming Goldblatt, Robert

by Goldblatt, Robert.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin Springer-Verlag 1982Availability: Items available for loan: Vikram Sarabhai LibraryCall number: 519.92 G6A9 (1).

Proof analysis: a contribution to Hilbert's last problem Negri, Sara

by Negri, Sara | Plato, Jan Von.

Publisher: Ney York Cambridge University Press 2011Availability: Items available for loan: Vikram Sarabhai LibraryCall number: 511.36 N3P7 (1).

The proof is in the pudding: the changing nature of mathematical proof Krantz, Steven G.

by Krantz, Steven G.

Publisher: New York Springer 2011Availability: Items available for loan: Vikram Sarabhai LibraryCall number: 511.36 K7P7 (1).

The nuts and bolts of proofs: an introduction to mathematical proofs Cupillari, Antonella

by Cupillari, Antonella.

Edition: 4th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Amsterdam Elsevier Academic Press 2013Availability: Items available for loan: Vikram Sarabhai LibraryCall number: 511.36 C8N8-2013 (1).

Burden of proof, presumption and argumentation Walton, Douglas N.

by Walton, Douglas N.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York Cambridge University Press 2014Availability: Items available for loan: Vikram Sarabhai LibraryCall number: 347.06 W2B8 (1).

Understanding mathematical proof Taylor, John

by Taylor, John | Garnier, Rowan.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boca Raton CRC Press 2014Availability: Items available for loan: Vikram Sarabhai LibraryCall number: 511.36 T2U6 (1).

Statistical learning with sparsity: the lasso and generalizations Hastie, Trevor

by Hastie, Trevor | Tibshirani, Robert | Wainwright, Martin.

Publisher: Boca Raton CRC Press 2015Availability: Items available for loan: Vikram Sarabhai LibraryCall number: 519.5 H2S8 (1).

Proofs 101: an introduction to formal mathematics

by Kirtland, Joseph.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Boca Raton CRC Press 2021Availability: Items available for reference: Vikram Sarabhai Library Processing CenterCall number: 511.36 K4P7 (1). :

Powered by Koha