Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 69 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics, Dec. 29-30,1970 ed. by Hugues Leblanc von Reihen: ; 68 | Studies in logic and the foundations of mathematics ; 68
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam North-Holland 1973
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) TSM 1970 1.
Vormerken Zum Korb hinzufügen
2.
Studies in model theory M. D. Morley, ed. von Reihen: ; 8 | Studies in mathematics ; 8
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Washington, DC. The Math. Assoc. of America 1973
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) MOR m3 1973:1 1.Ex.
Vormerken Zum Korb hinzufügen
3.
Model theoretic algebra selected topics Greg Cherlin von Reihen: ; 521 | Lecture notes in mathematics ; 521
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1976
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 521.
Vormerken Zum Korb hinzufügen
4.
Handbook of mathematical logic ed. by Jon Barwise. With the cooperation of H. J. Keisler ... von Reihen: ; 9000 | Studies in logic and the foundations of mathematics ; 9000
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland Publ. Co. 1977
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BAR j 1977:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
5.
Mathematical logic an introduction to model theory A. H. Lightstone. Ed. by H. B. Enderton von Reihen: ; 900 | Mathematical concepts and methods in science and engineering ; 900
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: New York [u.a.] Plenum Pr. 1978
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LIG a 1978:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
6.
Model theory C. C. Chang and H. J. Keisler von Reihen: ; 7300 | Studies in logic and the foundations of mathematics ; 7300
Auflage: 2. ed.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Amsterdam [usw.] North-Holland Publ. Co. 1977
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ChAN ch 1977:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
7.
First order categorical logic model-theoretical methods in the theory of topoi and related categories Michael Makkai; Gonzalo E. Reyes von Reihen: ; 61100 | Lecture notes in mathematics ; 611
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1977
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 611.
Vormerken Zum Korb hinzufügen
8.
Model theory of algebra and arithmetic proceedings of the Conference on Applications of Logic to Algebra and Arithmetic, held at Karpacz, Poland, September 1-7, 1979 von Reihen: ; 834 | Lecture notes in mathematics ; 834
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Französisch Verlag: Berlin, Heidelberg [usw.] Springer 1980
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 834.
Vormerken Zum Korb hinzufügen
9.
The logic of time a model-theoretic investigation into the varities of temporal ontology and temporal discourse J. F. A. K. van Benthem von Reihen: ; 15600 | Synthese <Dordrecht> / Library ; 15600
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Dordrecht [u.a.] Reidel c 1983
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) BEN j2 1982:1 1.Ex.
Vormerken Zum Korb hinzufügen
10.
Intensional and higher-order modal logic Daniel Gallin von Reihen: ; 1900 | North Holland mathematics studies ; 19
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam North-Holland Publ. Co. [u.a.] 1975
Hochschulschriftenvermerk: Zugl: Berkeley, Univ. of California, Diss., 1972
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) NHMS 19.
Vormerken Zum Korb hinzufügen
11.
Non-classical logics, model theory, and computability proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976 ed. by Ayda I. Arruda ... von Reihen: ; 8900 | Latin American Symposium on Mathematical Logic Proceedings of the Latin American Symposium on Mathematical Logic ; 1976,0000,30 | Studies in logic and the foundations of mathematics ; 8900
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland 1977
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ARR a 1977:1 1.Ex.
Vormerken Zum Korb hinzufügen
12.
Model theory and algebra a memorial tribute to Abraham Robinson ed. by D. H. Saracino ... von Reihen: ; 498 | Lecture notes in mathematics ; 498
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1975
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 498.
Vormerken Zum Korb hinzufügen
13.
Model theory and topoi a collection of lectures by various authors ed. by F. W. Lawvere ... von Reihen: ; 44500 | Lecture notes in mathematics ; 445
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1975
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 445.
Vormerken Zum Korb hinzufügen
14.
Forcing, arithmetic, division rings Jorma Hirschfeld; William H. Wheeler von Reihen: ; 45400 | Lecture notes in mathematics ; 454
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1975
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 454. Nicht verfügbar: Gebäude E1 4 (MPI-INF): restricted use (2).
Vormerken Zum Korb hinzufügen
15.
Topological model theory Jörg Flum; Martin Ziegler von Reihen: ; 76900 | Lecture notes in mathematics ; 769
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1980
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 769.
Vormerken Zum Korb hinzufügen
16.
Set theory and model theory proceedings of an informal symposium, held at Bonn, June 1 - 3, 1979 ed. by R. B. Jensen ... von Reihen: ; 87200 | Lecture notes in mathematics ; 872
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin, Heidelberg [usw.] Springer 1981
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 872.
Vormerken Zum Korb hinzufügen
17.
Model theory and arithmetic comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et arithmétique, Paris, France, 1979/80 ed. by C. Berline, K. McAloon ... Centre National de la Recherche Scientifique, Paris von Reihen: ; 89000 | Lecture notes in mathematics ; 890
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Französisch Verlag: Berlin, Heidelberg [usw.] Springer 1981
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 890.
Vormerken Zum Korb hinzufügen
18.
Around classification theory of models von Reihen: ; 118200 | Lecture notes in mathematics ; 1182
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1986
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 1182.
Vormerken Zum Korb hinzufügen
19.
Models and sets ed. by G. H. Müller ... von Reihen: ; 1 | Logic Colloquium Proceedings of the Logic Colloquium ; 1 | Lecture notes in mathematics ; 1103
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1984
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNM 1103.
Vormerken Zum Korb hinzufügen
20.
Einführung in die mathematische Logik und Modelltheorie Alexander Prestel von Reihen: ; 60 | Vieweg-Studium ; 60
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Braunschweig [u.a.] Vieweg 1986
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) PRE a 1986:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha