{"_id":"sAQ9FvpTYZCYDRKDp","bibbaseid":"heyting-dieformalenregelnderintuitionistischenlogikiiiiii-1930","author_short":["Heyting, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Heyting"],"firstnames":["A."],"suffixes":[]}],"title":"Die formalen Regeln der intuitionistischen Logik. I, II, III.","fjournal":"Sitzungsberichte der Preußischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse","journal":"Sitzungsber. Preuß. Akad. Wiss., Phys.-Math. Kl.","volume":"1930","pages":"42–56, 57–71, 158–169","year":"1930","language":"German","zbmath":"2566292","jfm":"56.0823.01","bibtex":"@article{heyting1930axioms,\r\n author = {Heyting, A.},\r\n title = {Die formalen {Regeln} der intuitionistischen {Logik}. {I}, {II}, {III}.},\r\n fjournal = {Sitzungsberichte der Preu{{\\ss}}ischen Akademie der Wissenschaften, Physikalisch-Mathematische Klasse},\r\n journal = {Sitzungsber. Preu{{\\ss}}. Akad. Wiss., Phys.-Math. Kl.},\r\n volume = {1930},\r\n pages = {42--56, 57--71, 158--169},\r\n year = {1930},\r\n language = {German},\r\n zbMATH = {2566292},\r\n JFM = {56.0823.01}\r\n}\r\n\r\n","author_short":["Heyting, A."],"key":"heyting1930axioms","id":"heyting1930axioms","bibbaseid":"heyting-dieformalenregelnderintuitionistischenlogikiiiiii-1930","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/network/files/7XRk2LnYnoMXTeTGd","dataSources":["miATaBcHpgdaQgsZ3"],"keywords":[],"search_terms":["die","formalen","regeln","der","intuitionistischen","logik","iii","heyting"],"title":"Die formalen Regeln der intuitionistischen Logik. I, II, III.","year":1930}