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

Cori, Rene

Mathematical logic a course with exercises Rene Cori and Daniel Lascar; translated by Daniel Lascar - New York Oxford university press - 2 v. 24 cm.

Includes index and bibliograpy

v.1. propositional calculus, boolean algebras. - 338 p. - predicate calculus. - 1993 - v.2. recursion theory, Godel's Theorems, set theory, Model theory. - 331 p. - 1993 -

ISBN: 0198500483

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

Dewey Class. No.: 511.3