Κανονική προβολή Προβολή MARC Προβολή ISBD

Arithmetic, proof theory, and computational complexity edited by Peter Clote and Jan Krajicet - Oxford Clarendon Press 1993 - x, 428 p. 24 cm. - Oxford logic Studies .

Includes references

ISBN: 0198536909

Subjects--Topical Terms:
Λογική, Συμβολική και μαθηματική
Πολυπλοκότητα

Dewey Class. No.: 511.3