Bounded Arithmetic, Propositional Logic, and Complexity Theory

Number of the records: 1

SYSNO	0174170
Title	Bounded Arithmetic, Propositional Logic, and Complexity Theory
Author(s)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Issue data	Cambridge: Cambridge University, 1995
Issue	1
Edition	Encyclopedia of Mathematics and its Applications. , 60
Document Type	Monografie, kniha (jako celek)
Grant	IAA119107 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
Language	eng
Country	US
Permanent Link	http://hdl.handle.net/11104/0071184

Number of the records: 1