Sortiert nach
Studia semiotyczne, 2020-01, Vol.34 (1), p.57-80
2020
Link zum Volltext
Journal of automated reasoning, 2021-12, Vol.65 (8), p.1153-1190
2021
Link zum Volltext
1st ed. 2017., 2018
Link zum Volltext
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2019-03, Vol.377 (2140), p.20180031-20180031
2019
Link zum Volltext
Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2019-03, Vol.377 (2140), p.1-11
2019
Link zum Volltext
Natural computing, 2007-06, Vol.6 (2), p.187-205
2007
Link zum Volltext
Isis, 2017-06, Vol.108 (2), p.484-486
2017
Link zum Volltext
The review of symbolic logic, 2021-03, Vol.14 (1), p.250-284
2021
Link zum Volltext
1990, 1989
Link zum Volltext
Jahresbericht der Deutschen Mathematiker-Vereinigung, 2017-01, Vol.119 (3), p.201-211
2017
Link zum Volltext
The bulletin of symbolic logic, 1999-03, Vol.5 (1), p.1-44
1999
Link zum Volltext
The bulletin of symbolic logic, 2017-09, Vol.23 (3), p.337-344
2017
Link zum Volltext
1981 edition., 1981
Link zum Volltext
Philosophia mathematica, 2017-10, Vol.25 (3), p.292
2017
Link zum Volltext
Lecture notes in computer science, 2006, p.536-537
2006
Link zum Volltext
Logic journal of the IGPL, 2007-08, Vol.15 (4), p.359-368
2007
Link zum Volltext
Philosophia mathematica, 2006-06, Vol.14 (2), p.189-207
2006
Link zum Volltext
Technology, pedagogy and education, 2016-05, Vol.25 (3), p.269-286
2016
Link zum Volltext
Epistemology versus Ontology, p.87-127
Link zum Volltext
The bulletin of symbolic logic, 2005-06, Vol.11 (2), p.172-184
2005
Link zum Volltext
Synthese (Dordrecht), 2005-10, Vol.147 (1), p.121-170
2005
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Mathematics
- Logic
- Science & Technology
- Philosophy
- Mathematical Logic
- Physical Sciences
- Science & Technology - Other Topics
- History Of Mathematics
- Arts & Humanities
- Mathematical Foundations
- Proof Theory
- Computer Science
- History & Philosophy Of Science
- Mathematical Logic And Foundations
- Mathematics, Applied
- Arithmetic
- Consistency Proof
- Logic, Symbolic And Mathematical
- Technology
- Turing Machine
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- JSTOR
- Ingenta
- Cambridge University Press online books
- Cambridge Core All Books
- Project Euclid Complete
- Cambridge Journals Online (DEFF)
- Free E-Journal (出版社公開部分のみ）
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- HEAL-Link subscriptions: Springer Book Series
- Ovid SocietyJournals and Single Titles
- Oxford Journals
- Oxford Journals 2020 Humanities
- ScienceDirect eBooks
- University of Chicago Press Journals
- Taylor & Francis Journals Complete
- IngentaConnect Journals
- Taylor & Francis
Zeitschrift / Serie
- The Journal Of Symbolic Logic
- Isis
- The Bulletin Of Symbolic Logic
- Synthese
- Philosophia Mathematica
- Annals Of Pure And Applied Logic
- Jahresbericht Der Deutschen Mathematiker-Vereinigung
- Philosophical Transactions Of The Royal Society Of London. Series A: Mathematical, Physical, And Engineering Sciences
- Studia Logica
- The Monist