Normal view MARC view ISBD view

Decidable Theories I

Müller, Gert H.

Decidable Theories I [electronic resource] / by Gert H. Müller, Dirk Siefkes. - XIV, 134 p. online resource. - Lecture Notes in Mathematics, 120 0075-8434 ; . - Lecture Notes in Mathematics, 120 .

ISBN: 9783540362524

Standard No.: 10.1007/BFb0061047 doi

Subjects--Topical Terms:
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 511.3

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com)