Bounded arithmetic, propositional logic, and complex theory

By:

Material type: Text

TextPublication details: New York: Cambrigde University Press, 1995Description: xiv,341p.: ill.; 24cmISBN:

Subject(s):

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	Status	Date due	Barcode
Book	Directorate of Library Services (UDSM)	Mathematics Department	MATH QA9.56.K73 (Browse shelf(Opens below))	Available		000000298155

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	MATH QA9.7.B78 2013 Lectures on the structure of algebraic groups and -geometric applications	MATH QA9.7.M367 Modern theory : an introduction :graduate txts in mathematics	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	Next

Includes bibliographical references and index

There are no comments on this title.

to post a comment.