Login / Signup

Natural limitations of decision procedures for arithmetic with bounded quantifiers.

Daniele Mundici
Published in: Arch. Math. Log. (1983)
Keyphrases