Feasible Mathematics II (Progress in Computer Science and Applied Logic (PCS))
Contributors: Peter Clote (Editor); Jeffrey B. Remmel (Editor)
Edition: 1 edition
Publisher: Birkhäuser Boston
Published: December 22, 1994
Language: eng
Format: Hardcover
Number of pages: 447
ISBN-13: 9780817636753
Subjects: Mathematical theory of computation; General; Computer Logic; Set Theory; Computers; Computer Books: General; Science/Mathematics; Logic; Science / General; Computational complexity; Congresses; Mathematics
First sentence: The original motivation for studying first-order structures where the mod p counting principle (as defined in the abstract) holds was their role in the lower bound theory of constant depth Frege proof systems.