Handbook of proof theory Samuel R. Buss, ed.

Συντελεστής(ές):

Τύπος υλικού:

ΚείμενοΣειρά: Studies in logic and the foundations of mathematics ; volume 137Λεπτομέρειες δημοσίευσης: Amsterdam Elsevier 1998Περιγραφή: 811pISBN:

Θέμα(τα):

Ταξινόμηση DDC:

Αντίτυπα
Τύπος τεκμηρίου	Τρέχουσα βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός αντιτύπου	Κατάσταση	Ημερομηνία λήξης	Ραβδοκώδικας
Book [Not For Loan]	ΒΚΠ - Πατρα Πληροφοριακό Αναγνωστήριο	Π 511.3 HAN (Περιήγηση στο ράφι(Άνοιγμα παρακάτω))	1	Δε δανείζεται		025000282179

Προηγούμενο						Η εικόνα εξωφύλλου δεν είναι διαθέσιμη	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη	Επόμενο
Προηγούμενο	Π 510.903 COM Companion encyclopedia of the history and philosophy of the mathematical sciences /	Π 510.903 COM Companion encyclopedia of the history and philosophy of the mathematical sciences /	Π 510.903 COM Companion encyclopedia of the history and philosophy of the mathematical sciences /	Π 511.3 HAN Handbook of proof theory	Π 511.3 HAN Handbook of process algebra /	Π 511.324 HAN Handbook of Boolean algebras /	Π 511.324 HAN Handbook of Boolean algebras /	Επόμενο

τομέας εφαρμογών και θεμελιώσεων της επιστήμης των υπολογιστων. Εργαστηριο συνδυαστικων αλγορίθμων.

Κοινοποίηση