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
Recursion theoretic hierarchies
Perspectives in mathematical logic
1978
Signatur: TCL2800
    Datensatz exportieren als...
  • BibTeX
Rekursive Funktionen
1977
Signatur: TCL2672
    Datensatz exportieren als...
  • BibTeX
Einführung in die Modallogik
Grundlagen der Kommunikation : Bibliotheksausgabe
1. Aufl, 1978
Signatur: TCL1595-DT
    Datensatz exportieren als...
  • BibTeX
FINITE MATHEMATICS, A MODELING APPROACH
1977
Signatur: TCL2591
    Datensatz exportieren als...
  • BibTeX
Beginning model theory : the completeness theorem and some consequences
OXFORD LOGIC GUIDES
1977
Signatur: TCL2567
    Datensatz exportieren als...
  • BibTeX
The decision problem : solvable classes of quantificational formulas
1979
Signatur: TCL3076
    Datensatz exportieren als...
  • BibTeX
Einführung in die Polargeometrie
2., wesentl. verb., erg. und umgearb. Aufl, 1932
Signatur: TCL2656(2)
    Datensatz exportieren als...
  • BibTeX
Boolean valued models and independence proofs in set theory
Oxford logic guides : 4 (Alle Bände)
1977
Signatur: TCL2915
    Datensatz exportieren als...
  • BibTeX
ON SPECTRA
1977
Signatur: TCL2444
    Datensatz exportieren als...
  • BibTeX
Partial-valued logic
1980
Signatur: D592
    Datensatz exportieren als...
  • BibTeX
The principles of empirical or inductive logic
Burt Franklin: research and source works series : Philosophy and religious history monographs : 113 (Alle Bände)
Repr. from the orig. [2.] ed., 1907, 1972
Signatur: TCL1927(2)
    Datensatz exportieren als...
  • BibTeX
Fundamentals of generalized recursion theory
Studies in logic and the foundation of mathematics : 105 (Alle Bände)
1981
Signatur: TCL3181
    Datensatz exportieren als...
  • BibTeX
Principes et applications de l'analyse booléenne
Collection de mathématiques économiques : 2 (Alle Bände)
2. éd., rev. et augm, 1970
Signatur: TCL1414(2)
    Datensatz exportieren als...
  • BibTeX
The logic of description and existence
FILOSOFISKA STUDIER : 18 (Alle Bände)
1973
Signatur: TCL2305
    Datensatz exportieren als...
  • BibTeX
STUDIES IN ALGEBRAIC LOGIC. ED. AUBERT DAIGNEAULT
STUDIES IN MATHEMATICS. 9. : 9 (Alle Bände)
1974
Signatur: TCL2949
    Datensatz exportieren als...
  • BibTeX
ISILC PROOF THEORY SYMPOSIUM. ED. BY J. DILLER AND G. H. MUELLER. DEDICATED TO KURT SCHUETTE ON THE OCCASION OF HIS 65TH BIRTHDAY. PROCEEDINGS OF THE INTERNATIONAL SUMMER INSTITUTE AND LOGIC COLLOQUIUM, KIEL 1974
LECTURE NOTES IN MATHEMATICS. 500. : 500 (Alle Bände)
1975
Signatur: TCL2046
    Datensatz exportieren als...
  • BibTeX
Logiques construites par une méthode de déduction naturelle
Collection de logique mathématique : Série B : 3 (Alle Bände)
1962
Signatur: TCL2135
    Datensatz exportieren als...
  • BibTeX
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
3. Aufl, 1978
Signatur: TCL3026(3)
    Datensatz exportieren als...
  • BibTeX
Pseudoelementare Relationen und Aussagen vom Typ des Bernstein'schen Äquivalenzsatzes
Bonner mathematische Schriften : 95 (Alle Bände)
Als Ms. gedr, 1977
Signatur: TCL2698
    Datensatz exportieren als...
  • BibTeX
Logical systems containing only a finite number of symbols
Séminaire de Mathématiques Supérieures : 21 (Alle Bände)
2. tirage, 1967 [erschienen] 1972
Signatur: TCL1448
    Datensatz exportieren als...
  • BibTeX
Recursion on the countable functionals
Lecture notes in mathematics : 811 (Alle Bände)
1980
Signatur: TCL3092
    Datensatz exportieren als...
  • BibTeX
Nonstandard analysis : a practical guide with applications
Lecture notes in mathematics : 881 (Alle Bände)
1981
Signatur: TCL3157
    Datensatz exportieren als...
  • BibTeX
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
Lecture notes in mathematics : 897 (Alle Bände)
1981
Signatur: TCL3173
    Datensatz exportieren als...
  • BibTeX
Modelle der Mengenlehre : Widerspruchsfreiheit und Unabhängigkeit der Kontinuum-Hypothese und des Auswahlaxioms
Lecture notes in mathematics : 37 (Alle Bände)
1967
Signatur: TCL1008
    Datensatz exportieren als...
  • BibTeX
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen
Heidelberger Taschenbücher : 87 (Alle Bände)
2. Aufl, 1971
Signatur: TCL1016(2)
1 – 25 von 145
Suche als RSS-Feed
Aktive Filter
SchlagwortKonstruktive Mathematik
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen