Coverart for item
The Resource Bounded Arithmetic, Propositional Logic and Complexity Theory, Jan Krajicek, (electronic book.)

Bounded Arithmetic, Propositional Logic and Complexity Theory, Jan Krajicek, (electronic book.)

Label
Bounded Arithmetic, Propositional Logic and Complexity Theory
Title
Bounded Arithmetic, Propositional Logic and Complexity Theory
Statement of responsibility
Jan Krajicek
Creator
Contributor
Subject
Language
eng
Summary
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems
Member of
Cataloging source
UkCbUP
http://library.link/vocab/creatorName
Krajicek, Jan
Dewey number
511.3
Index
index present
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
Cambridge University Press
http://library.link/vocab/subjectName
  • Constructive mathematics
  • Proposition (Logic)
  • Computational complexity
Label
Bounded Arithmetic, Propositional Logic and Complexity Theory, Jan Krajicek, (electronic book.)
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
CR9780511529948
Extent
1 online resource (360 p.)
Form of item
electronic
Isbn
9780511529948
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Bounded Arithmetic, Propositional Logic and Complexity Theory, Jan Krajicek, (electronic book.)
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
CR9780511529948
Extent
1 online resource (360 p.)
Form of item
electronic
Isbn
9780511529948
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
digital, PDF file(s).
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...