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
    Datensatz exportieren als...
  • BibTeX
Einführung in die Mathematische Logik : Ein Lehrbuch [Elektronische Ressource]
3., überarbeitete Auflage, 2008
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
6. Aufl. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Measuring Uncertainty within the Theory of Evidence
Springer Series in Measurement Science and Technology
2018
    Datensatz exportieren als...
  • BibTeX
Mathematische Logik
Mathematik Kompakt
2. Aufl. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Grenzen der Mathematik : Eine Reise durch die Kerngebiete der mathematischen Logik
3. Aufl. 2018, 2018
    Datensatz exportieren als...
  • BibTeX
Mathematische Logik [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Logic and Structure [Elektronische Ressource]
Universitext
5th ed. 2013, 2013
    Datensatz exportieren als...
  • BibTeX
Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen Eine Einführung [Elektronische Ressource]
4., überarbeitete Auflage, 2009
    Datensatz exportieren als...
  • BibTeX
Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen [Elektronische Ressource]
3., überarbeitete und erweiterte Auflage, 2006
    Datensatz exportieren als...
  • BibTeX
Mathematische Grundlagen für die Informatik : Mengen, Logik, Rekursion [Elektronische Ressource]
2013
    Datensatz exportieren als...
  • BibTeX
A Course in Mathematical Logic for Mathematicians [Elektronische Ressource]
2010
    Datensatz exportieren als...
  • BibTeX
Geschichte der Mathematik kompakt : Das Wichtigste aus Arithmetik, Geometrie, Algebra, Zahlentheorie und Logik
2017
    Datensatz exportieren als...
  • BibTeX
Games, Norms and Reasons : Logic at the Crossroads [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Gottlob Frege : Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
Klassische Texte der Wissenschaft
2018
    Datensatz exportieren als...
  • BibTeX
Logische Grundlagen der Mathematik [Elektronische Ressource]
Springer-Lehrbuch
2009
    Datensatz exportieren als...
  • BibTeX
Zeitschrift für mathematische Logik und Grundlagen der Mathematik
    Datensatz exportieren als...
  • BibTeX
Phenomenology, logic and the philosophy of mathematics
2005
Signatur: HNI1784
    Datensatz exportieren als...
  • BibTeX
Internal logic : foundations of mathematics from Kronecker to Hilbert
Synthese library : 310 (Alle Bände)
2002
Signatur: TCK3550
    Datensatz exportieren als...
  • BibTeX
Concepts of Proof in Mathematics, Philosophy, and Computer Science
[2016]
1 – 19 von 19
Suche als RSS-Feed
Aktive Filter
Autor / AutorinFeferman, Solomon
SchlagwortComputer science
SchlagwortMathematics
Suchergebnisse filtern
Filter anzeigen