×

zbMATH — the first resource for mathematics

Found 118 Documents (Results 1–100)

100
MathJax
Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer (ISBN 978-3-030-21312-1/hbk; 978-3-030-21315-2/pbk; 978-3-030-21313-8/ebook). Logic, Epistemology, and the Unity of Science 44, 173-193 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer (ISBN 978-3-030-21312-1/hbk; 978-3-030-21315-2/pbk; 978-3-030-21313-8/ebook). Logic, Epistemology, and the Unity of Science 44, 149-172 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
Bernard, Julien (ed.) et al., Weyl and the problem of space. From science to philosophy. Cham: Springer (ISBN 978-3-030-11526-5/hbk; 978-3-030-11527-2/ebook). Studies in History and Philosophy of Science (Dordrecht) 49, 125-159 (2019).
MSC:  03-03 01A60
PDF BibTeX XML Cite
Full Text: DOI
Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 35-61 (2017).
MSC:  03B60
PDF BibTeX XML Cite
Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 64-83 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 50, No. 6, 829-841 (2014); translation from Kibern. Sist. Anal. 2014, No. 6, 15-28 (2014).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 50, No. 5, 655-662 (2014); translation from Kibern. Sist. Anal. No. 5, 8-16 (2014).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 40. Cham: Springer (ISBN 978-3-319-05205-2/hbk; 978-3-319-05206-9/ebook). x, 217 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Cubism and constructivism. (Spanish. English summary) Zbl 1300.01022
Castrillón López, Marco (ed.) et al., Contribuciones matemáticas en honor a Juan Tarrés. Madrid: Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas (ISBN 978-84-695-4421-1). 61-80 (2012).
MSC:  01A60 00A66
PDF BibTeX XML Cite
Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-4438-3459-9/hbk). ix, 227 p. (2012).
PDF BibTeX XML Cite
MAA Notes 75. Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-88385-185-2/pbk). xii, 245 p. (2009).
PDF BibTeX XML Cite
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 309-322 (2009).
MSC:  03F50 03E70 03C90
PDF BibTeX XML Cite
Full Text: DOI
Ehrenfeucht, A. (ed.) et al., Andrzej Mostowski and foundational studies. Amsterdam: IOS Press (ISBN 978-1-58603-782-6/hbk). 324-337 (2008).
PDF BibTeX XML Cite
Löwe, Benedikt (ed.) et al., Foundations of the formal sciences IV. The history of the concept of the formal sciences. Papers of the 4th conference, FotFS IV, Bonn, Germany, February 14–17, 2003. London: King’s College Publications (ISBN 1-904987-29-X/pbk). Studies in Logic (London) 3, 17-26 (2006).
MSC:  00A30 03A05
PDF BibTeX XML Cite
Studien zur Logik, Sprachphilosophie und Metaphysik 9. Frankfurt am Main: Ontos Verlag (ISBN 3-938793-31-7/hbk). 366 p. EUR 98.00/hbk; EUR 22.50/e-book (2006).
PDF BibTeX XML Cite
Logische Philosophie 14. Berlin: Logos Verlag; Erlangen-Nürnberg: Univ. Erlangen-Nürnberg (Dissertation 2003) (ISBN 3-8325-0747-7/pbk ). 193 p. (2004).
PDF BibTeX XML Cite
Mahwah: Lawrence Erlbaum Assoc., Publishers. xii, 597 p. (2003).
MSC:  00A35 97-02
PDF BibTeX XML Cite
Gärdenfors, Peter (ed.) et al., In the scope of logic, methodology and philosophy of science. Volume one of the 11th international congress of logic, methodology and philosophy of science, Cracow, Poland, August 1999. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0929-1). Synth. Libr. 315, 263-286 (2002).
MSC:  03A05 03F50 00A30
PDF BibTeX XML Cite
Mathematics Education Library 28. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0668-3/hbk). xii, 274 p. (2002).
PDF BibTeX XML Cite
Full Text: DOI
Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992-2000. Singapore: World Scientific. 281-302 (2001).
PDF BibTeX XML Cite
Betti, Renato (ed.) et al., Categorical studies in Italy. Selected papers presented at the meeting “The Italian friends meet Bill Lawvere”, Perugia, Italy, May 1-3, 1997. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 64, 227-248 (2000).
MSC:  03A05 00A30 18A15
PDF BibTeX XML Cite
Belmont, CA: Wadsworth/Thomson Learning. 299 p., 38 p. (2000).
PDF BibTeX XML Cite
Dalla Chiara, Maria Luisa (ed.) et al., Language, quantum, music. Papers of the 10th international congress of logic, methodology and philosophy of science, Florence, Italy, August 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 281, 293-301 (1999).
MSC:  01A55 01A60 03A05
PDF BibTeX XML Cite
D’Amore, Bruno (ed.) et al., Conference in honor of the 65th birthday of Francesco Speranza, Bologna, Italy, October 11, 1997. Bologna: Pitagora Editrice, 40-44 (1998).
MSC:  01A45 26-03
PDF BibTeX XML Cite
Echeverria, Javier (ed.) et al., The space of mathematics. Philosophical, epistemological, and historical explorations. Revised papers from a symposium on structures in mathematical theories, Donostia/San Sebastian, Basque Country, Spain, September 1990. Berlin: Walter de Gruyter. Grundlagen der Kommunikation und Kognition. 296-313 (1992).
MSC:  00A30 03A05
PDF BibTeX XML Cite
Galuzzi, Massimo (ed.), Conference on the history of mathematics. Papers from the conference, Cetraro, Italy, September 8–12, 1988. Rende: Editoria Elettronica, Semin. Conf. 7, 465-485 (1991).
MSC:  01A60 01A55
PDF BibTeX XML Cite
Wadsworth & Brooks/Cole Mathematics Series. Pacific Grove, CA: Wadsworth & Brooks/Cole Advanced Books & Software. xvii, 297 p. (1989).
Reviewer: W.Veldman
MSC:  03-01
PDF BibTeX XML Cite
Studies in Logic and the Foundations of Mathematics, 123. Amsterdam etc.: North-Holland. xvii, p. 345-879 \(+\) Appendix. $ 86.75; Dfl. 165.00 (1988).
Reviewer: B.van Rootselaar
PDF BibTeX XML Cite
Studies in Logic and the Foundations of Mathematics, 121. Amsterdam etc.: North-Holland (ISBH 0-444-70506-6). xv, 355 p. hbk: $ 86.75; Dfl. 165.00; pbk: $ 33.00; Dfl. 62.50 (1988).
Reviewer: B.van Rootselaar
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
Software