{"_id":"dyMKhM4PjMXwSQYWk","bibbaseid":"kreisel-mathematicallogictoolandobjectlessonforsciencethepresentstateoftheproblemoffoundationsofmathematicsflorence1981-1985","authorIDs":[],"author_short":["Kreisel, G."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Kreisel"],"firstnames":["G."],"suffixes":[]}],"title":"Mathematical logic: tool and object lesson for science. The present state of the problem of foundations of mathematics, Florence, 1981","journal":"Synthese Lib.","year":"1985","volume":"62","pages":"139–151","keywords":"bib,con","bibtex":"@ARTICLE{Kre85,\r\n author = {Kreisel, G.},\r\n title = {Mathematical logic: tool and object lesson for science. {T}he present\r\n\tstate of the problem of foundations of mathematics, Florence, 1981},\r\n journal = {Synthese Lib.},\r\n year = {1985},\r\n volume = {62},\r\n pages = {139--151},\r\n keywords = {bib,con}\r\n}\r\n\r\n","author_short":["Kreisel, G."],"key":"Kre85","id":"Kre85","bibbaseid":"kreisel-mathematicallogictoolandobjectlessonforsciencethepresentstateoftheproblemoffoundationsofmathematicsflorence1981-1985","role":"author","urls":{},"keyword":["bib","con"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.864Z","downloads":0,"keywords":["bib","con"],"search_terms":["mathematical","logic","tool","object","lesson","science","present","state","problem","foundations","mathematics","florence","1981","kreisel"],"title":"Mathematical logic: tool and object lesson for science. The present state of the problem of foundations of mathematics, Florence, 1981","year":1985,"dataSources":["t7rKiAbxugj4Agz8M"]}