First-order modal logic Melvin Fitting and Richard L. Mendelsohn

Κατά:

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

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

ΚείμενοΓλώσσα: Αγγλικά Σειρά: Synthese library : studies in epistemology, logic, methodology and philosophy of sciemceΛεπτομέρειες δημοσίευσης: Dordrecht KLuwer Academic Publishers 1998Περιγραφή: xii, 287 p. fig. 24 cmISBN:

Θέμα(τα):

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

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

Προηγούμενο					Η εικόνα εξωφύλλου δεν είναι διαθέσιμη	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη	Η εικόνα εξωφύλλου δεν είναι διαθέσιμη	Επόμενο
Προηγούμενο	511.3 END Μια μαθηματική εισαγωγή στη λογική /	511.3 ENS Discrete mathematics	511.3 F First-order logic and automated theorem proving /	511.3 FIT First-order modal logic	511.3 FOU Foundations of mathematics	511.3 FRE The language of logic	511.3 FRE The language of logic	Επόμενο

Includes bibliographical references and index

Προηγούμενο

Επόμενο

Κοινοποίηση