Details for: The computer modelling of mathematical reasoning

Normal view MARC view ISBD view

By:

Material type: Text

TextPublication details: London Academic Press 1983Description: xiv, 322 p. ill 23 cmSubject(s):

DDC classification:

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	Collection	Call number	Status	Date due	Barcode
Books	Matheson Library Main Collection	Main Collection	511.3 B942c (Browse shelf(Opens below))	Available		037791

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	Next
Previous	511.3 B248L 1984 The lambda calculus: its syntax and semantics /	511.3 B433c A course in mathematical logic	511.3 B766 Theory of sets /	511.3 B942c The computer modelling of mathematical reasoning	511.3 C967 Mathematics and logic for digital devices / by James T. Culbertson.	511.3 D331 An introduction to the nature of proof /	511.3 F533f Formal number theory and computability a workbook	Next

0121412520

There are no comments on this title.

to post a comment.