Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Arithmetic, proof theory, and computational complexity edited by Peter Clote and Jan Krajicet από Clote, Peter Krajicek, Jan Σειρά: Oxford logic Studies Τύπος υλικού: Κείμενο; Διάταξη: έντυπο Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Oxford Clarendon Press 1993 Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1)Ταξιθετικός αριθμός: 511.3 CLO. Προσθήκη στο καλάθι (αφαίρεση)
	2.	Bounded arithmetic, propositional logic, and complexity theory / Jan Krajicek. από Krajicek, Jan [συγγραφέας] Σειρά: Encyclopedia of mathematics and its applications Τύπος υλικού: Κείμενο; Διάταξη: έντυπο ; Λογοτεχνικό είδος: Μη λογοτεχνικό ; Κοινό: Ειδικευμένο; Λεπτομέρειες δημοσίευσης: Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995 Ηλεκτρονική πρόσβαση: Publisher description Table of contents Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: Φιλοσοφίας (1)Ταξιθετικός αριθμός: 510.1 KRA. Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας