Zum Inhalt springen

Bhatia, Nam Parshad [VerfasserIn]; Hájek, Otomar [VerfasserIn]

Local semi-dynamical systems

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1969

Erschienen in: Lecture notes in mathematics ; 90
LaSalle, Joseph P. [VerfasserIn]; Lefschetz, Solomon [VerfasserIn]

Stability by Liapunov's direct method with applications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York [u.a.]: Academic Press, 1961

Erschienen in: Mathematics in science and engineering ; 4
Prestel, Alexander [VerfasserIn]

Einführung in die mathematische Logik und Modelltheorie - [Verb. Nachdr.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig [u.a.]: Vieweg, 1992

Erschienen in: Vieweg-Studium ; 60
Bosse, Uwe [VerfasserIn]

Zur Modelltheorie der Fixpunktlogik

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1994
Barwise, Jon [HerausgeberIn]; Feferman, Solomon [Sonstige Person, Familie und Körperschaft]; Baldwin, John T. [Sonstige Person, Familie und Körperschaft]; Feferman, Solomon [HerausgeberIn]

Model theoretic logics

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Berlin; Heidelberg [u.a.]: Springer, 1985

Erschienen in: Perspectives in mathematical logic
Hodges, Wilfrid [VerfasserIn]

Model theory - [Digitally printed version]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge [u.a.]: Cambridge University Press, 2008

Erschienen in: Encyclopedia of mathematics and its applications ; 42,2008
Arruda, Ayda I. [HerausgeberIn] ; Latin American Symposium on Mathematical Logic 3 1976 Campinas, São Paulo

Non-classical logics, model theory, and computability : proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland, 1977

Erschienen in: 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
Roseau, Maurice [VerfasserIn]

Vibrations non linéaires et théorie de la stabilité

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1966

Erschienen in: Springer tracts in natural philosophy ; 8
Pym, David J. [VerfasserIn]

The semantics and proof theory of the logic of bunched implications

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Acad. Publ., 2002

Erschienen in: Applied logic series ; 26
Barbasin, Evgenij Alekseevič [VerfasserIn] ; Barbashin, E. A. [Sonstige Person, Familie und Körperschaft]

Introduction to the theory of stability - [1. publ.]

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Groningen: Wolters-Noordhoff, 1970
Fitting, Melvin [VerfasserIn]

Intuitionistic logic, model theory and forcing

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Amsterdam [u.a.]: North-Holland Publ. Co., 1969

Erschienen in: Studies in logic and the foundations of mathematics
Bowen, Kenneth A. [VerfasserIn]

Model theory for modal logic : Kripke models for modal predicate calculi

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Reidel, 1979

Erschienen in: Synthese <Dordrecht> / Library ; 127
Schaefer, Wolfgang [VerfasserIn]

Theoretische Grundlagen der Stabilität technischer Systeme : direkte Methode

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akademie-Verlag, 1976

Erschienen in: Wissenschaftliche Taschenbücher ; 169
Parks, Patrick C. [VerfasserIn]; Parks, Patrick Christopher [VerfasserIn]; Hahn, Volker [VerfasserIn]

Stabilitätstheorie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin [u.a.]: Springer, 1981

Erschienen in: Hochschultext
Kusraev, Anatolij G. [VerfasserIn]; Kusraev, Anatolij Georgievič [VerfasserIn]; Kutateladze, Semen S. [VerfasserIn]

Boolean valued analysis

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht [u.a.]: Kluwer Academic Publ., 1999

Erschienen in: Mathematics and its applications ; 49400
Körner, Friederike [VerfasserIn]

Stratified languages and permutation models

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1994
Kreisel, Georg [VerfasserIn]; Krivine, Jean-Louis [VerfasserIn] ; Jung, Joachim [Sonstige Person, Familie und Körperschaft]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 1972

Erschienen in: Hochschultext
Prestel, Alexander [VerfasserIn]

Einführung in die mathematische Logik und Modelltheorie

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Braunschweig [u.a.]: Vieweg, 1986

Erschienen in: Vieweg-Studium ; 60
Freudenthal, Hans [HerausgeberIn]

The concept and the role of the model in mathematics and natural and social sciences : proceedings of the colloquium ... org. at Utrecht, January 1960

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Dordrecht: Reidel, 1961

Erschienen in: Synthese library
Immerman, Neil [VerfasserIn]

Descriptive complexity

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

New York; Berlin; Heidelberg: Springer, 1999

Erschienen in: Graduate texts in computer science

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr