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
Theory of Formal Systems. (AM-47), Volume 47
[2016]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
First-Order Logic [Elektronische Ressource]
Ergebnisse der Mathematik und ihrer Grenzgebiete : 43
1968
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
WHAT IS THE NAME OF THIS BOOK : THE RIDDLE OF DRACULA AND OTHER LOGICAL PUZZLES
1978
Signatur: TBX1703
    Datensatz exportieren als...
  • BibTeX
To mock a mockingbird : and other logic puzzles including an amazing adventure in combinatory logic
2000
Signatur: TBX2725-EN
    Datensatz exportieren als...
  • BibTeX
Das Tao ist Stille
2. Aufl., 10. - 13. Tsd, 1994
Signatur: HKC2322(2)
    Datensatz exportieren als...
  • BibTeX
Logik-Ritter und andere Schurken : diabolische Rätsel, interplanetarische Verwicklungen und Gödelsche Systeme
1989
Signatur: TBX2945-DT
    Datensatz exportieren als...
  • BibTeX
Diagonalization and self-reference
Oxford logic guides : 27 (Alle Bände), Oxford science publications
1994
Signatur: TCL4161
    Datensatz exportieren als...
  • BibTeX
Gödel's incompleteness theorems
Oxford logic guides : 19 (Alle Bände)
1992
Signatur: TCL3945
    Datensatz exportieren als...
  • BibTeX
Recursion theory for metamathematics
Oxford logic guides : 22 (Alle Bände)
1993
Signatur: TCL4014
    Datensatz exportieren als...
  • BibTeX
Forever undecided : a puzzle guide to Gödel
Oxford paperbacks
1988
Signatur: TBX2945
    Datensatz exportieren als...
  • BibTeX
Theory of formal systems
Annals of mathematics studies : 47 (Alle Bände)
Rev. ed., 3. print, 1971
Signatur: TCL1375
    Datensatz exportieren als...
  • BibTeX
First order logic
Ergebnisse der Mathematik und ihrer Grenzgebiete : B,43 (Alle Bände)
2. print, 1971
Signatur: TCK1477
    Datensatz exportieren als...
  • BibTeX
Buch ohne Titel : eine Sammlung von Paradoxa und Lebensrätseln
1983
Signatur: HIQ1051
    Datensatz exportieren als...
  • BibTeX
Simplicius und der Baum : philos. Phantasien, paradoxe Scherzrätsel u. e. histor. Überraschung
1985
Signatur: TBX2694
    Datensatz exportieren als...
  • BibTeX
Alice im Rätselland : phantast. Rätselgeschichten, abenteuerl. Fangfragen u. log. Traumreisen
1984
Signatur: TBX2709
    Datensatz exportieren als...
  • BibTeX
Spottdrosseln und Metavögel : Computer-Rätsel, mathematische Abenteuer und ein Ausflug in die vogelfreie Logik
1986
Signatur: TBX2725
    Datensatz exportieren als...
  • BibTeX
The lady or the tiger? : and other logic puzzles ; including a mathematical novel that features Goedel's great discovery
1982
Signatur: TBX2181
    Datensatz exportieren als...
  • BibTeX
The magic garden of George B and other logic puzzles
2015
Signatur: TVG1740
    Datensatz exportieren als...
  • BibTeX
Set theory and the continuum problem
Oxford logic guides : 34 (Alle Bände)
1996
Signatur: TCS2716
    Datensatz exportieren als...
  • BibTeX
The Mathematics of Various Entertaining Subjects : Research in Recreational Math
[2015]
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The mind's I : fantasies and reflections on self and soul
1. [Dr.], 1981
Signatur: HSF1365
    Datensatz exportieren als...
  • BibTeX
The mathemagician and pied puzzler : a collection in tribute to Martin Gardner
1999
Signatur: TBX3860
    Datensatz exportieren als...
  • BibTeX
Einsicht ins Ich : Fantasien u. Reflexionen über Selbst u. Seele
3., unveränd. Aufl, 1988
Signatur: HSF1365(3)-DT
    Datensatz exportieren als...
  • BibTeX
Paul Halmos : celebrating 50 years of mathematics
1991
Signatur: TAXH1144
    Datensatz exportieren als...
  • BibTeX
Kurt Gödel - Wahrheit & Beweisbarkeit. 1. Dokumente und historische Analysen
Kurt Gödel - Wahrheit & Beweisbarkeit (Alle Bände)
1. Aufl., Nachdr, 2004
Signatur: TASG1238-1
1 – 25 von 29
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen