scientific article; zbMATH DE number 6755791

zbMATH Open1367.03107MaRDI QIDQ4976996FDOQ4976996

Ana-Loredana Agore, Gigel Militaru

Publication date: 3 August 2017

Title of this publication is not available (Why is that?)

zbMATH Keywords

natural numbersPeano axiomHilbert recursion theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (2)

• Title not available (Why is that?)
• Reachability is decidable in the numbers game

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4976996)