Cover Image

QR Code

Research in history and philosophy of mathematics : the CSHPM 2018 /

Bibliographic Details
Other Authors:	Zack, Maria, (Editor), Schlimm, Dirk, (Editor)
Format:	eBook
Language:	English
Published:	Cham, Switzerland : Birkhäuser, [2020]
Series:	Société Canadienne d'histoire et de Philosophie des Mathématiques
Subjects:	Mathematics > Philosophy > Congresses. Electronic books.
Online Access:	View fulltext via EzAccess

Similar Items

Bird's engineering mathematics /
by: Bird, J. O.,
Published: (2021)

Computer and communication engineering : first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, proceedings /
Published: (2019)

Legal theory and the media of law /
by: Vesting, Thomas,
Published: (2018)

Proceedings of the 21st International Symposium on High Voltage Engineering.
Published: (2020)

Ideas for 21st Century Education : Proceedings of the Asian Education Symposium (AES 2016), November 22-23, 2016, Bandung, Indonesia /
Published: (2017)

Thermodynamics problem solving in physical chemistry : study guide and map /
by: Murphy, Kathleen E., Ph. D.,
Published: (2020)

Proof Theory for Fuzzy Logics
by: Metcalfe, George., et al.
Published: (2009)

Logicism, Intuitionism, and Formalism What has Become of Them? /
Published: (2009)

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings /
Published: (2009)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Published: (2013)

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /
Published: (2013)

Logic and Structure
by: Dalen, Dirk.
Published: (2013)

Logic, Rationality, and Interaction Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings /
Published: (2009)

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Published: (2009)

A Course in Mathematical Logic for Mathematicians
by: Manin, Yu. I.
Published: (2010)

Programming Logics Essays in Memory of Harald Ganzinger /
Published: (2013)

Mathematical Logic Foundations for Information Science /
by: Li, Wei.
Published: (2010)

Logical Foundations of Mathematics and Computational Complexity A Gentle Introduction /
by: Pudlk̀, Pavel.
Published: (2013)

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Published: (2013)

Using Event-B for Critical Device Software Systems
by: Singh, Neeraj Kumar.
Published: (2013)

Formal Languages and Compilation
by: Crespi Reghizzi, Stefano., et al.
Published: (2013)

The Mathematics of Coordinated Inference A Study of Generalized Hat Problems /
by: Hardin, Christopher S., et al.
Published: (2013)

A Course on Mathematical Logic
by: Srivastava, Shashi Mohan.
Published: (2013)

Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik /
by: Zermelo, Ernst.
Published: (2013)

Stochastic Calculus with Infinitesimals
by: Herzberg, Frederik.
Published: (2013)

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Published: (2013)

Typed Lambda Calculi and Applications 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings /
Published: (2013)

Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
Published: (2013)

Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
Published: (2013)

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D<U+00fc>sseldorf, Germany, August 2013. Proceedings /
Published: (2013)

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings /
Published: (2013)

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Published: (2009)

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings /
Published: (2009)

Handbook of Weighted Automata
Published: (2009)

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Published: (2009)

Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings /
Published: (2009)

Handbook of Set Theory
Published: (2010)

Pattern Calculus Computing with Functions and Structures /
by: Jay, Barry.
Published: (2009)

Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasl̕ia, Brazil, June 29 - July 1, 2009 Proceedings /
Published: (2009)