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
A natural deduction-like calculus for structured specifiations
1996
Signatur: D11315
    Datensatz exportieren als...
  • BibTeX
Studies in inductive logic and probability
Signatur: HLH1901-...
    Datensatz exportieren als...
  • BibTeX
Beweistheorie
Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete : 103 (Alle Bände)
1960
Signatur: TCL2583
    Datensatz exportieren als...
  • BibTeX
Fuzzy control : Theorie und Industrieeinsatz
1. Aufl, 2000
Signatur: WGD1875
    Datensatz exportieren als...
  • BibTeX
Eine Klassen-definierende höherstufige Attributenlogik
1989
Signatur: DQ1332
    Datensatz exportieren als...
  • BibTeX
A resolution calculus for modal logics
1988
Signatur: D414
    Datensatz exportieren als...
  • BibTeX
Many valued logics
1992-
Signatur: TCL3995-...
    Datensatz exportieren als...
  • BibTeX
Die Widerspruchsfreiheit der reinen Zahlentheorie
Libelli : 185 (Alle Bände)
Sonderausg., unveränd. reprogr. Nachdr. von 1935, 1967
Signatur: M6800
    Datensatz exportieren als...
  • BibTeX
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
Truth value semantics
1976
Signatur: TCL2339
    Datensatz exportieren als...
  • BibTeX
Logic : techniques of formal reasoning
1964
Signatur: TCL2371
    Datensatz exportieren als...
  • BibTeX
Processes involved in mathematical problem solving
1976
Signatur: TCL2648
    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
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modelltheorie und ihre Anwendungen
Die Mathematik
1981
Signatur: TCL3131
    Datensatz exportieren als...
  • BibTeX
Probabilities, problems, and paradoxes : readings in inductive logic
1972
Signatur: TCL2478
    Datensatz exportieren als...
  • BibTeX
Der Goedelsche Beweis
Scientia nova
2., unveränd. Aufl, 1979
Signatur: TCL2143(2)
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    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
FINITE MATHEMATICS, A MODELING APPROACH
1977
Signatur: TCL2591
    Datensatz exportieren als...
  • BibTeX
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modallogik
Grundlagen der Kommunikation : Bibliotheksausgabe
1. Aufl, 1978
Signatur: TCL1595-DT
    Datensatz exportieren als...
  • BibTeX
An introduction to modal logic
Reprint. with corr, 1972
Signatur: TCL1595
    Datensatz exportieren als...
  • BibTeX
Metalogic : an introd. to the metatheory of standard first order logic
1971
Signatur: TCL2622
    Datensatz exportieren als...
  • BibTeX
Symbolic logic
1977
Signatur: TCL2931
    Datensatz exportieren als...
  • BibTeX
The decision problem : solvable classes of quantificational formulas
1979
Signatur: TCL3076
1 – 25 von 353
Suche als RSS-Feed
Aktive Filter
Autor / AutorinBarwise, Jon
Suchergebnisse filtern
Filter anzeigen