Archivportal-D

Suche verfeinern

Nur Archivgut mit Digitalisaten

Archive + Bestände
- Bundesland
  - Baden-Württemberg
    ×
  - Bayern
    ×
  - Berlin
    ×
  - Brandenburg
    ×
  - Bremen
    ×
  - Hamburg
    ×
  - Hessen
    ×
  - Mecklenburg-Vorpommern
    ×
  - Niedersachsen
    ×
  - Nordrhein-Westfalen
    ×
  - Rheinland-Pfalz
    ×
  - Saarland
    ×
  - Sachsen
    ×
  - Sachsen-Anhalt
    ×
  - Schleswig-Holstein
    ×
  - Thüringen
    ×
- Sparte
- Archiv
- Archive der Universität Konstanz (2275)
Filter
- Laufzeit
  Von
  
  1.
  
  2.
  
  3.
  
  4.
  
  5.
  
  6.
  
  7.
  
  8.
  
  9.
  
  10.
  
  11.
  
  12.
  
  13.
  
  14.
  
  15.
  
  16.
  
  17.
  
  18.
  
  19.
  
  20.
  
  21.
  
  22.
  
  23.
  
  24.
  
  25.
  
  26.
  
  27.
  
  28.
  
  29.
  
  30.
  
  31.
  
  Januar
  
  Februar
  
  März
  
  April
  
  Mai
  
  Juni
  
  Juli
  
  August
  
  September
  
  Oktober
  
  November
  
  Dezember
  Bis
  
  1.
  
  2.
  
  3.
  
  4.
  
  5.
  
  6.
  
  7.
  
  8.
  
  9.
  
  10.
  
  11.
  
  12.
  
  13.
  
  14.
  
  15.
  
  16.
  
  17.
  
  18.
  
  19.
  
  20.
  
  21.
  
  22.
  
  23.
  
  24.
  
  25.
  
  26.
  
  27.
  
  28.
  
  29.
  
  30.
  
  31.
  
  Januar
  
  Februar
  
  März
  
  April
  
  Mai
  
  Juni
  
  Juli
  
  August
  
  September
  
  Oktober
  
  November
  
  Dezember
  Eingrenzung
  
  Erweitert
  
  Genau
- Archivalientyp
- (Vor-)Provenienz
- Ort
- Person/Organisation
- Schlagwort
- Verzeichnungsstufe
- Medientyp
- Verwendbarkeit
Themenportale
- Urkunden der Pfalzgrafen
  
  Rechte Gewalt
  
  Weimarer Republik
  
  Wiedergutmachung

Suchergebnisse

1 - 20 von 132

Sortierung

Sonderdrucksammlung Schriften

Archive der Universität Konstanz

Effective operations and partial recursive functionals

1957, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-28
On the kind of data needed for a theory of proofs

1977, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-101
Finiteness theorems in arithmetic: An application of Herbrand's theorem for ...

1982, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-116
Sums of squares

1957-1960, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-27
Axiomatizations of nonstandard analysis that are conservative extensions of formal systems for...

1969, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-73
Die formalistisch-positivistische Doktrin der mathematischen Präzision im Lichte der Erfahrung

1974, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-92
Application of mathematical logic to various branches of mathematics

1954, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-15
Mathematical logic: Tool and object lesson for science

1985, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-122
Discussion sur divers thèmes

1954, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-16
Formally self-referential propositions for cut free classical analysis and related systems

1974, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-89
Gödel's interpretation of Heyting's arithmetic

1957, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-25
Hilbert's programme and the search for automatic proof procedures

1970, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-81
Principles of proof and oridnals implicit in given concepts

1970, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-79
Some reasons for generalizing recursion theory

1971, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-83
A notion of mechanistic theory

1974, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-93
Surface Waves

1949, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-3
Luitzen Egbertus Jan Brouwer 1881-1966

1969, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-74
Note on completeness and definability

1961, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-48
Lawless sequences of natural numbers

1968, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-66
Ordinals of ramified analysis

1960, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-44

Suchergebnisse

1 - 20 von 132

Sortierung

Es wurden keine Ergebnisse für Ihre Suchanfrage gefunden.

Anmelden

Registrieren Sie sich hier.

Passwort zurücksetzen

Suchen nach

Suche verfeinern