Metadata language
The theory of constructive Types : (Principies of logic and mathematics). Part I
Subtitle:Annales de la Société Polonaise de Mathématique T. 2 (1923) ; Rocznik Polskiego Towarzystwa Matematycznego T. 2 (1923)
Creator: Contributor:Polskie Towarzystwo Matematyczne
Publisher: Place of publishing: Date issued/created: Description:Journal was not published between 1939-1944 ; 40 p. ; 25 cm
Type of object: Relation:Annales de la Société Polonaise de Mathématique T. 2 (1923)
Resource type: Detailed Resource Type: Format: Source:IM PAN,call no. cz159 ; click here to follow the link
Language: Rights: Terms of use: Digitizing institution:Institute of Mathematics of the Polish Academy of Sciences
Original in:Library of the Institute of Mathematics PAS
Projects co-financed by:Programme Innovative Economy, 2010-2014, Priority Axis 2. R&D infrastructure ; European Union. European Regional Development Fund
Access: