IMSc Library catalog › Details for: The logic of computer arithmetic

Normal view MARC view ISBD view

The logic of computer arithmetic

By: Flores, IvanMaterial type: Text

Item type:

BOOKS

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

Average rating: 0.0 (0 votes)

Current library	Home library	Call number	Materials specified	Status	Date due	Barcode
IMSc Library	IMSc Library	510.6 FLO (Browse shelf (Opens below))		Available		1716

Previous				No cover image available		No cover image available		Next
Previous	510.6 FIT First-Order Logic and Automated Theorem Proving	510.6 FIT First Order Modal Logic	510.6 FIT Types, tableaus, and Godel's god	510.6 FLO The logic of computer arithmetic	510.6 FOR Logic, induction and sets	510.6 FRA Cours de logique mathematique realtion,formule logique,compacite,completude	510.6 FRI Fork Algebras in Algebra, Logic and Computer Science: Advances in Logic (Vol. 2)	Next

Includes bibliography

There are no comments on this title.

to post a comment.