The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Bounded arithmetic, propositional logic, and complexity theory
Type
Text
Monograph
Contribution
Krajíček, Jan (contributor)
Subject
Constructive mathematics (LCSH)
Proposition (Logic) (LCSH)
Computational complexity (LCSH)
Language
English (eng)
Classification
LCC: QA9.56 .K73 1995 (Assigner: dlc) (Status: used by assigner)
DDC: 511.3 full (Assigner: dlc)(Source: 20)
Supplementary Content
bibliography (bibliography)
index (index)
Content
text (txt)
Table Of Contents
http://www.loc.gov/catdir/toc/cam024/94047054.html
Authorized Access Point
Krajíček, Jan Bounded arithmetic, propositional logic, and complexity theory
Admin Metadata
Status: new
Date: 1994-12-22
Admin Metadata
Status: changed
Date: 2016-11-16T14:43:42
Description Modifier: United States, Library of Congress
Admin Metadata
Status: changed
Date: 2024-07-30T03:16:37.852881-04:00
Admin Metadata
Encoding Level: full
Description Conventions: Anglo-American cataloguing rules
Identified By: bf:Local, 1599344