Log in 0 /0 www.springer.com The European Mathematical Society navigation Navigation Main page Pages A-Z StatProb Collection Recent changes Current events Random page Help Project talk Request account /navigation SEARCH /SEARCH TOOLBOX Tools What links here Related changes Special pages Printable version Permanent link Page information /TOOLBOX LANGUAGES /LANGUAGES content 0 Namespaces Page Discussion /0 1 Variants /1 0 Views View View source History /0 1 Actions /1 firstHeading /firstHeading bodyContent tagline From Encyclopedia of Mathematics /tagline subtitle /subtitle jumpto Jump to: navigation , search /jumpto bodycontent A branch of mathematical logic studying arguments concerning constructive objects (cf. Constructive object ) and constructions. In this sense constructive logic...