The computer modelling of mathematical reasoning

By:

Language: English Publication details: London Academic 1983Description: 322pISBN:

Item type:

Lending Books

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Lending Books	Science Library Lending Section	Science Library Lending Section	Lending Collection	510.6 B85 (Browse shelf(Opens below))	Available		404791

Total holds: 0

Previous	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available	No cover image available No cover image available		No cover image available No cover image available	Next
Previous	510.57 L84 Algorithms for the computation of mathematical functions	510.6 B17 A deductive theory of space and time	510.6 B62 The language of logic	510.6 B85 The computer modelling of mathematical reasoning	510.6 C55 Contributions to non-standard analysis	510.6 C56 Symbolic Logic	510.6 C61 Logic in algebraic from their languages and theories	Next

There are no comments on this title.

to post a comment.