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
Introduction to logic and to the methodology of the deductive sciences
Oxford logic guides : 24 (Alle Bände)
4. ed.: ed. by Jan Tarski, 1994
Signatur: TCK1427(4)-EN
    Datensatz exportieren als...
  • BibTeX
Elements of mathematical logic : (model theory)
Studies in logic and the foundations of mathematics
2., rev. print, 1971
Signatur: TCK1809
    Datensatz exportieren als...
  • BibTeX
Mathematical reasoning : analogies, metaphors, and images
Studies in mathematical thinking and learning
1997
Signatur: TML3848
    Datensatz exportieren als...
  • BibTeX
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Theoretical Computer Science and General Issues : 11758
1st ed. 2019, 2019
    Datensatz exportieren als...
  • BibTeX
Relational and Algebraic Methods in Computer Science : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Relational and Algebraic Methods in Computer Science : 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings [Elektronische Ressource]
2012
    Datensatz exportieren als...
  • BibTeX
Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday [Elektronische Ressource]
Lecture Notes in Computer Science : 6300
2010
1 – 9 von 9
Suche als RSS-Feed
Aktive Filter
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen