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
Solvable cases of the decision problem
Studies in logic and the foundations of mathematics
3. print, 1968
Signatur: TCL1286
    Datensatz exportieren als...
  • BibTeX
The logic of conditionals : an application of probability to deductive logic
Synthese library : 86 (Alle Bände)
1975
Signatur: TCL2062
    Datensatz exportieren als...
  • BibTeX
THE THEORY OF MODELS. PROCEEDINGS OF THE 1963 INTERNATIONAL SYMPOSIUM AT BERKELEY. ED
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS.
3. Print, 1972
Signatur: TCL1341
    Datensatz exportieren als...
  • BibTeX
Entailment : the logic of relevance and necessity. 2 / by Alan Ross Anderson and Nuel D. Belnap and J. Michael Dunn
Entailment (Alle Bände)
1992
Signatur: TCL2038-2
    Datensatz exportieren als...
  • BibTeX
Entailment : the logic of relevance and necessity. 1 / by Alan Ross Anderson and Nuel D. Belnap
Entailment (Alle Bände)
1975
Signatur: TCL2038-1
    Datensatz exportieren als...
  • BibTeX
Entailment : the logic of relevance and necessity
Signatur: TCL2038-...
    Datensatz exportieren als...
  • BibTeX
An introduction to mathematical logic and type theory : to truth through proof
Computer science and applied mathematics
1. [Dr.], 1986
Signatur: TCL3571
    Datensatz exportieren als...
  • BibTeX
Cylindric set algebras
Lecture notes in mathematics : 883 (Alle Bände)
1981
Signatur: TCL3165
    Datensatz exportieren als...
  • BibTeX
Logic : a foundation for computer science
International computer science series
1991
Signatur: TVA2178
    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
Einführung in die mathematische Logik. 2. Prädikatenkalkül der ersten Stufe
Einführung in die mathematische Logik (Alle Bände)
1972
Signatur: TCL2088-2
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 3. Prädikatenlogik höherer Stufe
Einführung in die mathematische Logik (Alle Bände)
1981
Signatur: TCL2088-3
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik. 1. Aussagenkalkül
Einführung in die mathematische Logik (Alle Bände), ... : 18 (Alle Bände)
6., völlig neubearb. Aufl, 1982
Signatur: TCL2088(6)-1
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Mathematisch-naturwissenschaftliche Bibliothek : ...
1959-
Signatur: TCL2088-...
    Datensatz exportieren als...
  • BibTeX
Einführung in die mathematische Logik
Signatur: TCL2088-...
    Datensatz exportieren als...
  • BibTeX
ON SPECTRA
1977
Signatur: TCL2444
    Datensatz exportieren als...
  • BibTeX
Model-theoretic logics
Perspectives in mathematical logic
1985
Signatur: TCL3432
    Datensatz exportieren als...
  • BibTeX
Fundamentals of stability theory
Perspectives in mathematical logic
1988
Signatur: TCL3628
    Datensatz exportieren als...
  • BibTeX
The lambda calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
1981
Signatur: TCL3149
    Datensatz exportieren als...
  • BibTeX
The lambda-calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
Rev. ed., 2. print, 1985
Signatur: TCL3149
    Datensatz exportieren als...
  • BibTeX
The lambda-calculus : its syntax and semantics
Studies in logic and the foundations of mathematics : 103 (Alle Bände)
Rev. ed, 1984
Signatur: TCL3149
    Datensatz exportieren als...
  • BibTeX
An algebraic introduction to mathematical logic
Graduate texts in mathematics : 22 (Alle Bände)
1975
Signatur: TCL1715
    Datensatz exportieren als...
  • BibTeX
Einführung in die Polargeometrie
2., wesentl. verb., erg. und umgearb. Aufl, 1932
Signatur: TCL2656(2)
    Datensatz exportieren als...
  • BibTeX
Admissible sets and structures : an approach to definability theory
Perspectives in mathematical logic
1975
Signatur: TCL2282
    Datensatz exportieren als...
  • BibTeX
The syntax and semantics of infinitary languages
Lecture notes in mathematics : 72 (Alle Bände)
1968
Signatur: TCL1024
1 – 25 von 356
Suche als RSS-Feed
Aktive Filter
Autor / AutorinCresswell, Maxwell J
Suchergebnisse filtern
Filter anzeigen