The Philosophers and Mathematics Festschrift for Roshdi Rashed

The Philosophers and Mathematics Festschrift for Roshdi Rashed

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Tahiri, Hassan (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2018]
Schriftenreihe:	Logic, Epistemology, and the Unity of Science volume 43
Schlagworte:	Philosophy of Mathematics History of Mathematical Sciences Mathematical Logic and Foundations Mathematics-Philosophy Logic, Symbolic and mathematical
Online-Zugang:	DE-703 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The road to universal logic festschrift for 50th birthday of Jean-Yves Béziau
Veröffentlicht: (2015)

The square of opposition: a cornerstone of thought
Veröffentlicht: (2017)

Can Mathematics Be Proved Consistent? Gödel's Shorthand Notes & Lectures on Incompleteness
von: von Plato, Jan
Veröffentlicht: (2020)

Prawitz's epistemic grounding an investigation into the power of deduction
von: Piccolomini d’Aragona, Antonio
Veröffentlicht: (2023)

[Omega]-Bibliography of Mathematical Logic Model Theory
Veröffentlicht: (1987)

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik
von: Stegmüller, Wolfgang
Veröffentlicht: (1984)

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit
von: Stegmüller, Wolfgang
Veröffentlicht: (1984)

Zehn Vorlesungen Über die Grundlegung der Mengenlehre Gehalten in Kiel auf Einladung der Kant-Gesellschaft, Ortsgruppe Kiel, vom 8.–12. Juni 1925
von: Fraenkel, Adolf
Veröffentlicht: (1927)

The future of post-human mathematical logic
von: Baofu, Peter
Veröffentlicht: (2008)

Strict Finitism and the Logic of Mathematical Applications
Veröffentlicht: (2011)

Mathematics and Plausible Reasoning, Volume 2 Logic, Symbolic and mathematical
von: Polya, G.
Veröffentlicht: (2021)

Guida alla teoria degli insiemi
von: Lolli, Gabriele 1942-
Veröffentlicht: (2008)

The Lvov-Warsaw School - past and present
Veröffentlicht: (2018)

Advances in Mathematical Logic Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Veröffentlicht: (2021)

Ultralogic as Universal? The Sylvan Jungle - Volume 4
von: Routley, Richard
Veröffentlicht: (2019)

Logic, construction, computation
Veröffentlicht: (2012)

Logique arithmétique l'arithmétisation de la logique
von: Gauthier, Yvon
Veröffentlicht: (2010)

Der Untergang von Mathemagika Ein Roman über eine Welt jenseits unserer Vorstellung
von: Kuhlemann, Karl
Veröffentlicht: (2015)

Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
von: Schreiner, Wolfgang
Veröffentlicht: (2021)

Theoremus a student's guide to mathematical proofs
von: Cruz, Lito Perez
Veröffentlicht: (2021)

Theoremus a student's guide to mathematical proofs
von: Cruz, Lito Perez
Veröffentlicht: (2021)

Proofs and Fundamentals A First Course in Abstract Mathematics
von: Bloch, Ethan D.
Veröffentlicht: (2003)

Formal methods for nonmonotonic and related logics
von: Schlechta, Karl 1948-
Veröffentlicht: (2018)

Formal methods for nonmonotonic and related logics
von: Schlechta, Karl 1948-
Veröffentlicht: (2018)

Logique arithmetique l'arithmetisation de la logique
von: Gauthier, Yvon
Veröffentlicht: (2010)

R-Calculus, VI: Finite Injury Priority Method
von: Li, Wei, et al.
Veröffentlicht: (2025)

Mathematics and mathematical logic new research
Veröffentlicht: (2010)

The digital and the real world computational foundations of mathematics, science, technology, and philosophy
von: Mainzer, Klaus
Veröffentlicht: (2018)

The diagonal infinity problems of multiple scales
von: Hubey, H. M.
Veröffentlicht: (1998)

Feferman on foundations logic, mathematics, philosophy
Veröffentlicht: (2017)

Architecture of mathematics
von: Serovajskij, Semen Jakovlevič 1954-
Veröffentlicht: (2022)

Ernst Schröder on Algebra and Logic
Veröffentlicht: (2022)

Reasoning in Quantum Theory Sharp and Unsharp Quantum Logics
von: Chiara, M.
Veröffentlicht: (2004)

User Manual for the Interactive Geometry Software Cinderella
von: Richter-Gebert, Jürgen 1963-
Veröffentlicht: (2000)

Games: Unifying Logic, Language, and Philosophy
Veröffentlicht: (2009)

New directions in paraconsistent logic 5th WCP, Kolkata, India, February 2014
Veröffentlicht: (2015)

Top-down causation and emergence
Veröffentlicht: (2021)

Finitely supported mathematics an introduction
von: Alexandru, Andrei, et al.
Veröffentlicht: (2016)

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory
von: Marquis, Jean-Pierre
Veröffentlicht: (2009)

Notes on Set Theory
von: Moschovakis, Yiannis N.
Veröffentlicht: (1994)