Sentences undercidable in formalized arthmetic : an exposition of the thepry of Kurt Godel Andrzej Mostowiski

By:

Material type: Text

LOC 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	Copy number	Status	Date due	Barcode
Book	Directorate of Library Services (UDSM)	Mathematics Department	MATH QA9.65.M67 (Browse shelf(Opens below))	1	Available		000000256838

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	Next
Previous	MATH QA9.54.A57 2010 Charming proofs: a journey into elegant mathematics	MATH QA9.56.K73 Bounded arithmetic, propositional logic, and complex theory	MATH QA9.59.V47 Computable functions	MATH QA9.65.M67 Sentences undercidable in formalized arthmetic : an exposition of the thepry of Kurt Godel	MATH QA9.615.B47 Computability and continuity in finite types	MATH QA9.B39 1987 Finite: empirical mathematical outline of a model	MATH QA9.B39 2012 Mathematical logic for computer science	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.