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
Un programme de démonstration de théorèmes
MONOGRAPHIES D'INFORMATIQUE. 7. : 7 (Alle Bände)
1970
Signatur: TCO1150
    Datensatz exportieren als...
  • BibTeX
Theory of recursive functions and effective computability
MCGRAW-HILL SERIES IN HIGHER MATHEMATICS.
1967
Signatur: TCO1281
    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
Elementary applied symbolic logic
1976
Signatur: TCO1435
    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
Formal semantics and logic
1971
Signatur: TCO1419
    Datensatz exportieren als...
  • BibTeX
Belief and probability
Synthese library : 104 (Alle Bände)
1976
Signatur: TCO1443
    Datensatz exportieren als...
  • BibTeX
Selected papers on Łukasiewicz sentential calculi
1977
Signatur: TCO1469
    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
26 – 34 von 34
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen