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

Boolos, George S.

Computability and logic George S. Boolos, John P. Burgess, Richard C. Jeffrey - 4th ed. - Cambridge Cambridge University Press 2002 - xi, 356 p. fig. 26 cm.

Includes bibliographical references and index

ISBN: 0521809754

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

Dewey Class. No.: 510