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

Grädel, Erich, 1958-

Finite model theory and its applications Erich Gradel ... [et al.] - Berlin Springer 2007 - xi, 437 p. fig. 24 cm. - Texts in theoretical computer science : an EATCS series .

Includes bibliographical references and index

ISBN: 9783540004288

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

Dewey Class. No.: 511.34