The Forcing Method in Set Theory An Introduction via Boolean Valued Logic von Viale, Matteo

Volltext

An Introduction to Naïve Set Theory and Its Applications von Srivastava, Shashi Mohan

Volltext

Human and artificial rationalities second international conference, HAR 2023, Paris, France, September 19–22, 2023, proceedings

Volltext

Gödel's Incompleteness Theorems A Guided Tour Through Kurt Gödel’s Historic Proof von Hoffmann, Dirk W. 1972-

DE-634
DE-1050
DE-92
DE-898
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-703
DE-20
DE-706
DE-824
DE-739
URL des Erstveröffentlichers

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis von Batzoglou, Serafim

DE-634
DE-1050
DE-92
DE-898
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-703
DE-20
DE-706
DE-824
DE-739
URL des Erstveröffentlichers

Mathematik für die Informatik Grundlegende Begriffe, Strukturen und Anwendungen von Berghammer, Rudolf 1952-

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-1049
DE-861
DE-863
DE-862
DE-523
DE-2070s
DE-91
DE-19
DE-703
DE-20
DE-706
DE-29
URL des Erstveröffentlichers

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics von Kiryushchenko, Vitaly

Volltext

Understanding Behaviour of Distributed Systems Using mCRL2 von Atif, Muhammad, Groote, Jan Friso

Volltext

Mathematische Geschichten VII – Extremwerte, Modulo und Beweise für begabte Schülerinnen und Schüler in der Oberstufe von Schindler-Tschirner, Susanne, Schindler, Werner 19XX-

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Diagrams and Gestures Mathematics, Philosophy, and Linguistics

Volltext

Kunterbunte Mathematik begeisternde Erkundungen für Kinder, Lehrende und Eltern von Strick, Heinz Klaus 1945-

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Einstieg in die beweisorientierte Mathematik mit Versuch und Irrtum zum Beweis von Göbler, Felix, Küronya, Alex

DE-522
DE-B768
DE-634
DE-526
DE-1043
DE-1102
DE-1046
DE-858
DE-1028
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-1051
DE-898
DE-859
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-355
DE-703
DE-20
DE-706
DE-824
DE-29
DE-739
URL des Erstveröffentlichers

Field Arithmetic von Fried, Michael D., Jarden, Moshe

Volltext

Logic and its applications 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023, proceedings

Volltext

R-Calculus, IV: Propositional Logic von Li, Wei, Sui, Yuefei

Volltext

Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker von Schreiner, Wolfgang

Volltext

Objects, Structures, and Logics FilMat Studies in the Philosophy of Mathematics

Volltext

Axiomatic Thinking II

DE-634
DE-1050
DE-92
DE-898
DE-859
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-703
DE-20
DE-706
DE-824
DE-739
URL des Erstveröffentlichers

Universal Algebraic Logic Dedicated to the Unity of Science von Andréka, Hajnal, Gyenis, Zalán, Németi, István, Sain, Ildikó

Volltext

Axiomatic Thinking I

DE-634
DE-1050
DE-92
DE-898
DE-859
DE-861
DE-863
DE-862
DE-523
DE-91
DE-19
DE-703
DE-20
DE-706
DE-824
DE-739
URL des Erstveröffentlichers