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

Boerger, Egon, 1946-

The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich. - New York : Springer, 1997. - xii, 492 σ. ; 24 εκ. - Perspectives in mathematical logic . - Perspectives in mathematical logic .

Περιλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.

ISBN: 354057073X (σκληρό εξώφυλλο)

LCCN: 96044426

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

Dewey Class. No.: 511.3