Mathematical logic

Contributor(s):

Material type: Text

Subject(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	Call number	Status	Date due	Barcode
Book	JRD Tata Memorial Library	511.3 GAN (Browse shelf(Opens below))	Available		172402

Previous	No cover image available		No cover image available		No cover image available	No cover image available		Next
Previous	511 N87 Petri net-based techniques for modelling analysis,and performance evalution	511.02462 N88 Numerical methods for engineers	511.2 P17 Analytic models, dilations, wandering subspaces and inner functions	511.3 GAN Mathematical logic	511.3 N693 Enumerability decidability computability an introduction to the theory of recursive functions	511.3 N87 Application of finite graph models of context fue languages.	511.3 N925 Proof theory a selection of papers from the Leeds Proof Theory Programme 1990	Next

includes bibliographical references

There are no comments on this title.

to post a comment.