Fragments of Peano's arithmetic and the MRDP theorem

Haim Gaifman, Constantine Dimitracopoulos

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationLogic and algorithmic (Zurich, 1980)
PublisherUniversite de Geneve
Pages187-206
Number of pages20
StatePublished - 1982

Publication series

NameMonographies de L'Enseignement Mathématique
PublisherUniversité de Genève, L'Enseignement Mathématique
Volume30
ISSN (Print)0425-0818

Cite this