×

Found 21 Documents (Results 1–21)

100
MathJax

The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper. (English) Zbl 1406.03005

Garrido, Ángel (ed.) et al., The Lvov-Warsaw school. Past and present. Cham: Birkhäuser (ISBN 978-3-319-65429-4/hbk; 978-3-319-65430-0/ebook). Studies in Universal Logic, 405-424 (2018).
MSC:  03-03 03A05 01A60
PDF BibTeX XML Cite
Full Text: DOI

The language of mathematics. A linguistic and philosophical investigation. (English) Zbl 1271.03004

Lecture Notes in Computer Science 7805. Berlin: Springer (ISBN 978-3-642-37011-3/pbk). xii, 277 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI

A language engineering architecture for processing informal mathematical discourse. (English) Zbl 1170.68496

Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 131-136 (2008).
MSC:  68P99
PDF BibTeX XML Cite
Full Text: EuDML

Current status of mathematical publications in Japan. (English) Zbl 1170.68490

Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 97-102 (2008).
MSC:  68P99
PDF BibTeX XML Cite
Full Text: EuDML

Mathematical formulae recognition. (English) Zbl 1170.68491

Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 69-73 (2008).
MSC:  68P99
PDF BibTeX XML Cite

Extending full text search engine for mathematical content. (English) Zbl 1170.68488

Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 55-67 (2008).
MSC:  68P99
PDF BibTeX XML Cite

Tarski on models and logical consequence. (English) Zbl 1130.03001

Ferreirós, José (ed.) et al., The architecture of modern mathematics. Essays in history and philosophy. Oxford: Oxford University Press (ISBN 0-19-856793-6/hbk). 209-237 (2006).
MSC:  03-03 01A60
PDF BibTeX XML Cite

Communicating mathematics across culture and time. (English) Zbl 0961.01040

Selin, Helaine (ed.) et al., Mathematics across cultures. The history of non-western mathematics. Dordrecht: Kluwer Academic Publishers. Science across Cultures: The History of Non-Western Science. 2, 1-12 (2000).
MSC:  01A80
PDF BibTeX XML Cite

Logic and dialectics. Confrontations, connexions, clarifications. Transl. from the Romanian by Carmen Manoliu-Ciobanu and Silvia Manoliu. (English) Zbl 0889.03007

Interferences Series. Iaşi: “Al. I. Cuza” University Press, 264 p. (1990).
MSC:  03A05 03-02
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

Biographic Reference