Science of Learning Mathematical Proofs, The: An introductory Course / Reiser, Elana

By:

Publication details: World Scientific 2020Description: 244ISBN:

Subject(s):

DDC classification:

Item type: English Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	511.3 REI (Browse shelf(Opens below))	Available		689863

Previous								Next
Previous	511.3 PYM The semantics and proof theory of the logic of bunched implications	511.3 RAS Computational Theory: Problems&Solutions	511.3 RAS Computational Theory: Problems&Solutions	511.3 REI Science of Learning Mathematical Proofs, The: An introductory Course	511.3 REV Lambda-calculus, combinators, and functional programming	511.3 RIC Automata, computability and complexity : theory and applications	511.3 RIC Logic and Language Models for Computer Science	Next

There are no comments on this title.

to post a comment.

Find us on the map