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
Formal systems and recursive functions : proceedings of the 8. Logic Colloquium, Oxford, July 1963
Studies in logic and the foundations of mathematics
1965
Signatur: TCL2208
    Datensatz exportieren als...
  • BibTeX
Generalized recursion theory : proceedings of the ... Oslo Symposium
1974-
Signatur: TCL2119-...
    Datensatz exportieren als...
  • BibTeX
Non-classical logics, model theory, and computability : proceedings of the Third Latin American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976
Studies in logic and the foundations of mathematics : 89 (Alle Bände)
1977
Signatur: TCL2559
    Datensatz exportieren als...
  • BibTeX
The syntax and semantics of infinitary languages
Lecture notes in mathematics : 72 (Alle Bände)
1968
Signatur: TCL1024
    Datensatz exportieren als...
  • BibTeX
Truth, syntax, and modality : proceedings of the Temple University Conference on Alternative Semantics
Studies in logic and the foundations of mathematics : 68 (Alle Bände)
1973
Signatur: TCL1359
    Datensatz exportieren als...
  • BibTeX
Victoria Symposium on Nonstandard Analysis : University of Victoria 1972
Lecture notes in mathematics : 369 (Alle Bände)
1974
Signatur: TCL2185
    Datensatz exportieren als...
  • BibTeX
Mathematical interpretation of formal systems
Studies in logic and the foundations of mathematics
2. ed, 1971
Signatur: TCL1294(2)
    Datensatz exportieren als...
  • BibTeX
Philosophical problems in logic : some recent developments
Synthese library : 29 (Alle Bände)
1970
Signatur: TCL1113
    Datensatz exportieren als...
  • BibTeX
Proceedings of a Colloquium on Modal and Many Valued Logics : Helsinki, 23 - 26 August, 1962
Acta philosophica Fennica : 16 (Alle Bände)
1963
Signatur: M38120
    Datensatz exportieren als...
  • BibTeX
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012
Lecture notes in mathematics : 2111 (Alle Bände)
2014
Signatur: TAY120035
    Datensatz exportieren als...
  • BibTeX
Valuation theory in interaction
EMS series of congress reports
2014
Signatur: TAY110129
    Datensatz exportieren als...
  • BibTeX
Analysis and logic
London Mathematical Society lecture note series : 262 (Alle Bände)
2002
Signatur: TCL4755
    Datensatz exportieren als...
  • BibTeX
Fuzzy sets and their applications to cognitive and decision processes : proceedings of the US Japan Seminar on Fuzzy Sets and Their Applications, held at the University of California, Berkeley, California, July 1 - 4, 1974
Academic Press rapid manuscript reproduction
1975
Signatur: TCL1846
1 – 13 von 13
Suche als RSS-Feed
Aktive Filter
Autor / AutorinTroelstra, Anne S
Art des MediumsGedruckt
Art des InhaltsKongressbericht
Suchergebnisse filtern
Filter anzeigen