Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Interpreting Gödel: Critical Essays
1, 2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness
1, 2020
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Gödel, Turing and the Iconic/Performative Axis
Philosophies (Basel), 2022-12, Vol.7 (6), p.141
2022
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Juliet Floyd and Felix Mühlhölzer. Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics: An Investigation of Wittgenstein’s Non-Extensionalist Understanding of the Real Numbers
Philosophia mathematica, 2022-06, Vol.30 (2), p.256-272
2022
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Gödel and the Integrated Self, or: On the Philosopher's Second Sailing
Theoria (Lund, Sweden), 2021-08, Vol.87 (4), p.874-884
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
1st Edition 2017, 2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Set Theory, Arithmetic, and Foundations of Mathematics: Theorems, Philosophies
1, 2011
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
ON FORMALISM FREENESS: IMPLEMENTING GÖDEL'S 1946 PRINCETON BICENTENNIAL LECTURE
The bulletin of symbolic logic, 2013-09, Vol.19 (3), p.351-393
2013
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
LOGICALITY AND MODEL CLASSES
The bulletin of symbolic logic, 2021-12, Vol.27 (4), p.385-414
2021
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture
The bulletin of symbolic logic, 2013-09, Vol.19 (3), p.351-393
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Penelope Maddy, Defending the Axioms: On the philosophical foundations of set theory, Oxford University Press, Oxford, UK, 2011, 150pp
The bulletin of symbolic logic, 2014-03, Vol.20 (1), p.91-93
2014
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Interpreting Gödel: Critical Essays
Interpreting Gödel, 2014, p.i-ii
2014
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Inner models from extended logics: Part 1
Journal of mathematical logic, 2021-08, Vol.21 (2), p.2150012
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Boris Zilber and the model-theoretic sublime
Model Theory, 2024-07, Vol.3 (2), p.305-315
2024
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017
Archive for mathematical logic, 2021, Vol.60 (5), p.525-527
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Curtis Franks. The autonomy of mathematical knowledge: Hilbert's program revisited. Cambridge University Press, Cambridge, 2009, 213 pp
The bulletin of symbolic logic, 2011-03, Vol.17 (1), p.119-122
2011
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Gödel's Reception of Turing's Model of Computability: The ``Shift of Perception'' in 1934
Unveiling Dynamics and Complexity, 2017, Vol.10307, p.42-49
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18–21, 2017
The bulletin of symbolic logic, 2018-09, Vol.24 (3), p.386-387
2018
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Mapping Traces: Editorial Introduction
Theoria (Lund, Sweden), 2021-08, Vol.87 (4), p.870-873
2021
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Princeton Companion to Mathematics, edited by Timothy Gowers (June Barrow-Green and Imre Leader, associate editors), Princeton University Press, 2008, 1008 pp
The bulletin of symbolic logic, 2009-12, Vol.15 (4), p.431-436
2009
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
24th Workshop on Logic, Language, Information and Computation (WoLLIC 2017)
Logic journal of the IGPL, 2018-05
2018
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Generalized Relations in Linguistics and Cognition
Logic, Language, Information, and Computation, 2017, Vol.10388, p.256-270
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Preface
Annals of pure and applied logic, 2012-10, Vol.163 (10), p.1359
2012
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Aesthetics and the Dream of Objectivity: Notes from Set Theory
Inquiry (Oslo), 2015-01, Vol.58 (1), p.83-98
2015
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
2017
Volltextzugriff (PDF)
1 – 25 von 182
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
2 weitere anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt