Jump to main content

yr 〜
yr

Search results 121

Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und grundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, and D. Rödding. (Lecture notes in computer science)

Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und grundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, and D. Rödding. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M15-A520>
National Diet Library
  • Author Heading...: Institut für Mathematische Logik und Grundlagenforschung der U...

Mathematische Logik mik Informatik-Anwendungen / Eberhard Bergmann, Helga Noll. (Heidelberger Taschenbücher ; Bd. 187 : Sammlung Informatik)

Mathematische Logik mik Informatik-Anwendungen / Eberhard Bergmann, Helga Noll. (Heidelberger Taschenbücher ; Bd. 187 : Sammlung Informatik)
Paper図書
Springer-Verlag1977.<M151-48>
National Diet Library

Gentzens Problem : Mathematische Logik im nationalsozialistischen Deutschland

Gentzens Problem : Mathematische Logik im nationalsozialistischen Deutschland
Paper図書
Eckart Menzler-Trott ; mit einem Essay von Jan von PlatoBirkhäuser Verlagc2001
Other Libraries in Japan

Einführung in die mathematische Logik 3., vollständig überarbeitete und erweiterte Auflage

Einführung in die mathematische Logik 3., vollständig überarbeitete und erweiterte Auflage
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum und Wolfgang Thomasc1992
Other Libraries in Japan

Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung

Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung
Paper図書
Roland Wagner-Döbler und Jan BergWalter de Gruyter1993
Other Libraries in Japan

Einführung in die mathematische Logik 2. überarbeitete Aufl

Einführung in die mathematische Logik 2. überarbeitete Aufl
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasWissenschaftliche Buchgesellschaft1986
Other Libraries in Japan

Einstieg in die mathematische Logik

Einstieg in die mathematische Logik
Paper図書
Gert BöhmeHanser1981
Other Libraries in Japan

Einführung in die mathematische Logik 5. Aufl.

Einführung in die mathematische Logik 5. Aufl.
Paper図書
Alfred TarskiVandenhoeck & Ruprecht1977, c1966
Other Libraries in Japan

Einführung in die mathematische Logik

Einführung in die mathematische Logik
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasWissenschaftliche Buchgesellschaft1978
Other Libraries in Japan

Mathematische Logik mit Informatik-Anwendungen : us : gw

Mathematische Logik mit Informatik-Anwendungen : us : gw
Paper図書
Eberhard Bergmann, Helga NollSpringer-Verlag1977
Other Libraries in Japan

Archiv für mathematische Logik und Grundlagenforschung [Reprint ed.]

Archiv für mathematische Logik und Grundlagenforschung [Reprint ed.]
Paper雑誌雑誌タイトル
Kraus Reprint1976
Other Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen : gw : us

Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen : gw : us
Paper図書
edited by E. Börger, G. Hasenjaeger, and D. RöddingSpringer-Verlag1984
Other Libraries in Japan

Einführung in die mathematische Logik : klassische Prädikatenlogik : kart 4. Aufl

Einführung in die mathematische Logik : klassische Prädikatenlogik : kart 4. Aufl
Paper図書
von Hans HermesTeubner1976
Other Libraries in Japan

MLQ : Mathematical Logic Quarterly

MLQ : Mathematical Logic Quarterly
Paper雑誌雑誌タイトル
J. Ambrosius Barth<Z53-A204>
National Diet Library
  • ReplacesZeitschrift fur Mathematische Logik und Grundlagen der Mathematik
  •  
  •  
  •  
  •  
  •  
    •  

Mathematische Logik für Anfänger

Mathematische Logik für Anfänger
Paper図書
Tamás VargaDeutsch1972-1973
Other Libraries in Japan

Einführung in die mathematische Logik

Einführung in die mathematische Logik
Paper図書
Günter AsserHarri Deutsch1972-
Other Libraries in Japan

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie :gw :us

Modelltheorie : eine Einführung in die mathematische Logik und Grundlagentheorie :gw :us
Paper図書
G. Kreisel, J.-L. Krivine ; aus dem Französischen übersetzt von J. JungSpringer-Verlag1972
Other Libraries in Japan

Einführung in die mathematische Logik : klassische Prädikatenlogik 3., neubearbeitete und erweiterte Aufl

Einführung in die mathematische Logik : klassische Prädikatenlogik 3., neubearbeitete und erweiterte Aufl
Paper図書
von Hans HermesTeubner1972
Other Libraries in Japan

Mathematische Logik : Ihre Grundprobleme in Theorie und Anwendung

Mathematische Logik : Ihre Grundprobleme in Theorie und Anwendung
Paper図書
Werner Strombach, Helmut Emde und Walter ReyersbachC. H. Beckc1972
Other Libraries in Japan

Einführung in die mathematische Logik 3. Aufl

Einführung in die mathematische Logik 3. Aufl
Paper図書
Alfred TarskiVandenhoeck & Ruprecht1969
Other Libraries in Japan
RSS