Naumov, P. G. (1993) The undecidability of Goedel-Loeb logic with quantifiers binding propositional variables. Vestnik Moskovskogo Universiteta Seriya 1 Matematika Mekhanika.
Record type:
Article
This record has no associated files available for download.
More information
Published date: 1993
Identifiers
Local EPrints ID: 475845
URI: http://eprints.soton.ac.uk/id/eprint/475845
PURE UUID: 1e23b722-d081-468f-9187-966f6a223a2a
Catalogue record
Date deposited: 29 Mar 2023 16:45
Last modified: 30 Mar 2023 02:03
Export record
Contributors
Author:
P. G. Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.