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
Combinatory logic. 1 / Haskell B. Curry
Combinatory logic (Alle Bände)
3. print, 1974
Signatur: TCO1142-1
    Datensatz exportieren als...
  • BibTeX
Combinatory logic. 2 / Haskell B. Curry
Combinatory logic (Alle Bände)
1972
Signatur: TCO1142-2
    Datensatz exportieren als...
  • BibTeX
Modern uses of multiple-valued logic : invited papers from the 5th International Symposium on Multiple Valued Logic held at Indiana University, Bloomington, Indiana, May 13 - 16, 1975
Episteme : 2 (Alle Bände)
1977
Signatur: TCO1493
    Datensatz exportieren als...
  • BibTeX
Lehrbuch der Logistik
Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften : Reihe der Grundlehren der exakten Wissenschaften : 2 (Alle Bände)
1954
Signatur: TCO1312
    Datensatz exportieren als...
  • BibTeX
Applications scientifiques de la logique mathématique : actes du 2e Colloque International de Logique Mathématique, Paris, 25 - 30 août 1952, Institut Henri Poincaré
Collection de logique mathématique : Série A : 5 (Alle Bände)
1954
Signatur: TCO1192
    Datensatz exportieren als...
  • BibTeX
Un programme de démonstration de théorèmes
MONOGRAPHIES D'INFORMATIQUE. 7. : 7 (Alle Bände)
1970
Signatur: TCO1150
    Datensatz exportieren als...
  • BibTeX
Two Applications Of Logic To Mathematics
Publications Of The Mathematical Society Of Japan : 13 (Alle Bände), KANO MEMORIAL LECTURES : 3 (Alle Bände)
1978
Signatur: TCO1516
    Datensatz exportieren als...
  • BibTeX
THEORY OF ALGORITHMS (TEORIJA ALGORIFMOV, ENGL.)
WORKS OF THE MATHEMATICAL INSTITUTE IM. V. A. STEKLOV . VOL. 42. : 42 (Alle Bände)
1971
Signatur: TCO1037
    Datensatz exportieren als...
  • BibTeX
Logic, language, and probability : a selection of papers contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971
Synthese library : 51 (Alle Bände)
1973
Signatur: TCO1396
    Datensatz exportieren als...
  • BibTeX
Pragmatic logic
Synthese library : 62 (Alle Bände)
1974
Signatur: TCO1388
    Datensatz exportieren als...
  • BibTeX
Combinatory logic
Studies in logic and the foundations of mathematics : 65 (Alle Bände)
1958-
Signatur: TCO1142-...
    Datensatz exportieren als...
  • BibTeX
Belief and probability
Synthese library : 104 (Alle Bände)
1976
Signatur: TCO1443
    Datensatz exportieren als...
  • BibTeX
An introduction to the theory of surreal numbers
London Mathematical Society lecture note series : 110 (Alle Bände)
1986
Signatur: TCO1540
    Datensatz exportieren als...
  • BibTeX
Advanced logic for applications
Synthese library : 110 (Alle Bände)
1977
Signatur: TCO1485
    Datensatz exportieren als...
  • BibTeX
Quantum logic
Synthese library : 126 (Alle Bände)
1978
Signatur: TCO1508
    Datensatz exportieren als...
  • BibTeX
Metamathematical investigation of intuitionistic arithmetic and analysis
Lecture notes in mathematics : 344 (Alle Bände)
1973
Signatur: TCO1362
    Datensatz exportieren als...
  • BibTeX
Mechanizing hypothesis formation : mathematical foundations for a general theory
Universitext
1978
Signatur: TCO1477
    Datensatz exportieren als...
  • BibTeX
The language of time
International library of philosophy and scientific method
1968
Signatur: TCO1427
    Datensatz exportieren als...
  • BibTeX
Theory of recursive functions and effective computability
MCGRAW-HILL SERIES IN HIGHER MATHEMATICS.
1967
Signatur: TCO1281
    Datensatz exportieren als...
  • BibTeX
Aussagenlogik und Beweisverfahren : mit ... 45 Beispielen u. 81 Aufgaben
Mathematik für die Lehrerausbildung
1974
Signatur: TCO1273
    Datensatz exportieren als...
  • BibTeX
The mathematical theory of context free languages
1966
Signatur: TCO1029
    Datensatz exportieren als...
  • BibTeX
Lineare Aussageformen - programmiert
Basiswissen Mathematik
1973
Signatur: TCO1087
    Datensatz exportieren als...
  • BibTeX
Formal semantics and logic
1971
Signatur: TCO1419
    Datensatz exportieren als...
  • BibTeX
Elementary applied symbolic logic
1976
Signatur: TCO1435
    Datensatz exportieren als...
  • BibTeX
Selected papers on Łukasiewicz sentential calculi
1977
Signatur: TCO1469
1 – 25 von 32
Suche als RSS-Feed
Aktive Filter
Autor / AutorinJeffrey, Richard C
Suchergebnisse filtern
Filter anzeigen