, ,
 , , ()   /      
 

, [ . , .-. ], Coquand, 1862, . .. .


^: ,