DOI: [removed]auom[removed]An. S ¸ t. Univ. Ovidius Constant ¸a Vol. 22(1),2014, 247–255 - Curry–Howard correspondence - Document - PDFSEARCH.IO

First Page	Meta Content
	DOI: [removed]auom[removed]An. S ¸ t. Univ. Ovidius Constant ¸a Vol. 22(1),2014, 247–255 Add to Reading List Document Date: 2014-04-16 02:01:00 Open Document File Size: 730,62 KB Share Result on Facebook City Moscow / / Country Netherlands / / / Facility Ovidius University of Constanta / Information Society Development Institute / / IndustryTerm iterative systems / / Organization Department of Mathematics and Computer Science / Ovidius University of Constanta / American Mathematical Society / Academy of Sciences of Moldova / Information Society Development Institute / / Person Janos Bolyai / Willard R. Finitely / / / PublishedMedium Proceedings of the American Mathematical Society / Algebra i Logika / / SocialTag Symbol Constructible universe Ordinal number Model theory Forcing Automata theory Curry–Howard correspondence Spectral theory of ordinary differential equations Mathematical logic Mathematics

DOI: [removed]auom[removed]An. S ¸ t. Univ. Ovidius Constant ¸a Vol. 22(1),2014, 247–255Add to Reading List