scientific article; zbMATH DE number 6602210
From MaRDI portal
Publication:3177930
zbMATH Open1382.03082MaRDI QIDQ3177930FDOQ3177930
Publication date: 8 July 2016
Full work available at URL: http://www.jucs.org/jucs_18_20/the_contrapositive_of_countable
Title of this publication is not available (Why is that?)
Other constructive mathematics (03F65) Axiom of choice and related propositions (03E25) Intuitionistic mathematics (03F55) Constructive and recursive analysis (03F60)
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 Q3177930)
