×

Found 160 Documents (Results 1–100)

Choice principles in constructive and classical set theories. (English) Zbl 1121.03065

Chatzidakis, Zoé (ed.) et al., Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). Lecture Notes in Logic 27, 299-326 (2006).
MSC:  03E25 03E70 03F50
PDFBibTeX XMLCite

Moschovakis’s notion of meaning as applied to linguistics. (English) Zbl 1080.03011

Baaz, Matthias (ed.) et al., Logic colloquium ’01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6–11, 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-247-7/hbk; 1-56881-248-5/pbk). Lecture Notes in Logic 20, 255-280 (2005).
MSC:  03B65
PDFBibTeX XMLCite

Categorial logicism. With a foreword by Denis Miéville. (Le logicisme catégoriel.) (French) Zbl 1081.03008

Travaux de Logique. Centre de Recherches Sémiologiques 16. Neuchâtel: Université de Neuchâtel, Centre de Recherches Sémiologiques. viii, 143 p. (2005).
MSC:  03A05 03-02
PDFBibTeX XMLCite

The mystery of the shortest way. A mathematical adventure. Transl. from the German by Stefano Ruggerini. (Alla ricerca della via più breve. Un’ avventura matematica.) (Italian) Zbl 1059.00004

Mailand: Springer (ISBN 88-470-0255-9/pbk). 367 p. (2005).
PDFBibTeX XMLCite

The enigma of mathematics. The mathematization of the real and the Metaphysics. II. (L’énigme des mathématiques. La mathématisation du réel et la métaphysique. II.) (French) Zbl 1177.00020

Philosophia Naturalis et Geometricalis 4. Bern: Peter Lang (ISBN 3-03910-133-1/pbk). viii, 338 p. (2004).
MSC:  00A30 01A05
PDFBibTeX XMLCite

Primality and factoring. (English) Zbl 1047.11121

Bhandari, A. K. (ed.) et al., Elliptic curves, modular forms and cryptography. Proceedings of the advanced instructional workshop on algebraic number theory, Allahabad, India, November 2000. New Delhi, IN: Hindustan Book Agency (ISBN 81-85931-42-9/hbk). 303-323 (2003).
MSC:  11Y05 11A51 11Y11
PDFBibTeX XMLCite

The enigma of mathematics. The mathematization of the real and the Metaphysics. I. (L’énigme des mathématiques. La mathématisation du réel et la métaphysique. I.) (French) Zbl 1051.00004

Philosophia Naturalis et Geometricalis 2. Bern: Peter Lang (ISBN 3-906770-77-X/pbk). viii, 391 p. (2003).
MSC:  00A30 03A05
PDFBibTeX XMLCite

The paradigm shift in mathematics education: A scenario for change. (English) Zbl 1029.00007

Ashour, A. A. (ed.) et al., Mathematics and the 21st century. Proceedings of the international conference, Cairo, Egypt, January 15-20, 2000. Singapore: World Scientific. 27-40 (2001).
MSC:  00A35 97C90
PDFBibTeX XMLCite

Higher mathematics. Special sections. Theory of functions of a complex variable. Operational calculus. Fourier series. Fourier transforms. Equations of mathematical physics. Probability theory. Mathematical statistics. (Высшая математика. Специалъные разделы. Теория функций комплексной переменной. Операционное исчисление. Ряды Фуръе. Преобразование Фуръе. Уравнения математической физики. Теория вероятностей. Математическая статистика.) (Russian. English summary) Zbl 1005.00002

Moskva: Fizmatlit. 397 p. (2001).
PDFBibTeX XMLCite

Grammars of properties on constraint for the automatic treatment of natural languages. (Les grammaires des propriétés des contraintes pour le traitement automatique des langues naturelles.) (French) Zbl 0985.68072

Paris: Hermes Science. 228 p. (2001).
MSC:  68T50 68-02
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software