Diagonalization of continuous matrices as a representation of intuitionistic reals. Ščedrov, A. 30:201–206, 1986. bibtex @ARTICLE{Sce86,
author = {{\v{S}}{\v{c}}edrov, A.},
title = {Diagonalization of continuous matrices as a representation of intuitionistic
reals},
journal = APAL,
year = {1986},
volume = {30},
pages = {201--206},
keywords = {bib,con}
}
Downloads: 0
{"_id":"GvML5tPLPnQNxridp","bibbaseid":"edrov-diagonalizationofcontinuousmatricesasarepresentationofintuitionisticreals-1986","authorIDs":[],"author_short":["Ščedrov, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Ščedrov"],"firstnames":["A."],"suffixes":[]}],"title":"Diagonalization of continuous matrices as a representation of intuitionistic reals","year":"1986","volume":"30","pages":"201–206","keywords":"bib,con","bibtex":"@ARTICLE{Sce86,\r\n author = {{\\v{S}}{\\v{c}}edrov, A.},\r\n title = {Diagonalization of continuous matrices as a representation of intuitionistic\r\n\treals},\r\n journal = APAL,\r\n year = {1986},\r\n volume = {30},\r\n pages = {201--206},\r\n keywords = {bib,con}\r\n}\r\n\r\n","author_short":["Ščedrov, A."],"key":"Sce86","id":"Sce86","bibbaseid":"edrov-diagonalizationofcontinuousmatricesasarepresentationofintuitionisticreals-1986","role":"author","urls":{},"keyword":["bib","con"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:54.033Z","downloads":0,"keywords":["bib","con"],"search_terms":["diagonalization","continuous","matrices","representation","intuitionistic","reals","ščedrov"],"title":"Diagonalization of continuous matrices as a representation of intuitionistic reals","year":1986,"dataSources":["t7rKiAbxugj4Agz8M"]}