Zum Inhalt springen

Makkai, Michael [Verfasser:in]

Duality and definability in first order logic

Online ansehen
Schließen

Schließen

Merkliste

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

Providence, RI: American Mathematical Society, 1993

Erschienen in: American Mathematical Society: Memoirs of the American Mathematical Society ; 503
Makkai, Michael [Verfasser:in]; Reyes, Gonzalo E. [Verfasser:in]

First order categorical logic : model-theoretical methods in the theory of topoi and related categories

Online ansehen
Schließen

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, 1977

Erschienen in: Lecture notes in mathematics ; 611
Schumann, Robert [Verfasser:in] ; Grün, Anastasius [Sonstige Person, Familie und Körperschaft]; Wolf, Hugo [Sonstige Person, Familie und Körperschaft]; Eichendorff, Joseph von [Sonstige Person, Familie und Körperschaft]; Strauss, Richard [Sonstige Person, Familie und Körperschaft]; Gilm, Hermann von [Sonstige Person, Familie und Körperschaft]; Mackay, John Henry [Sonstige Person, Familie und Körperschaft]; Lemnitz, Tiana [Ausführende:r]; Anders, Peter [Ausführende:r]; Raucheisen, Michael [Ausführende:r]

Familiengemälde : [op. 34 Nr. 4] (1 Schallpl)

Schließen

Merkliste

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

Berlin: Deutsche Schallplatten, [19]60
Schubert, Franz [Komponist:in]; Schulze, Ernst [Textdichter:in]; Stolberg-Stolberg, Friedrich Leopold zu [Textdichter:in]; Ehrlich, Bernhard Ambros [Textdichter:in]; Rellstab, Ludwig [Textdichter:in]; Hölty, Ludwig Christoph Heinrich [Textdichter:in]; Claudius, Matthias [Textdichter:in]; Müller, Wilhelm [Textdichter:in]; Leitner, Karl Gottfried von [Textdichter:in]; Strauss, Richard [Komponist:in]; Mackay, John Henry [Textdichter:in]; Henckell, Karl [Textdichter:in]; Schack, Adolf Friedrich von [Textdichter:in]; Bierbaum, Otto Julius [Textdichter:in] ; Strauss, Richard [Dirigent:in]; Patzak, Julius [Sänger:in]; Raucheisen, Michael [Instrumentalmusiker:in]; Krauss, Clemens [Dirigent:in] Bayerisches Staatsorchester, Wiener Staatsoper Orchester

Lieder mit Julius Patzak (1 Schallplatte)

Schließen

Merkliste

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

Hamburg: FonoTeam GmbH, [1985]
Schubert, Franz [Komponist:in]; Schulze, Ernst [Textdichter:in]; Stolberg-Stolberg, Friedrich Leopold zu [Textdichter:in]; Ehrlich, Bernhard Ambros [Textdichter:in]; Rellstab, Ludwig [Textdichter:in]; Hölty, Ludwig Christoph Heinrich [Textdichter:in]; Claudius, Matthias [Textdichter:in]; Müller, Wilhelm [Textdichter:in]; Leitner, Karl Gottfried von [Textdichter:in]; Strauss, Richard [Komponist:in]; Mackay, John Henry [Textdichter:in]; Henckell, Karl [Textdichter:in]; Schack, Adolf Friedrich von [Textdichter:in]; Bierbaum, Otto Julius [Textdichter:in] ; Strauss, Richard [Dirigent:in]; Patzak, Julius [Sänger:in]; Raucheisen, Michael [Instrumentalmusiker:in]; Krauss, Clemens [Dirigent:in] Bayerisches Staatsorchester, Wiener Staatsoper Orchester

Lieder mit Julius Patzak (1 Schallplatte)

Schließen

Merkliste

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

[Deutschland]: BASF, [1974]
Verdi, Giuseppe [Komponist:in]; Puccini, Giacomo [Komponist:in]; Tosti, Francesco Paolo [Komponist:in]; Delibes, Léo [Komponist:in]; Brahms, Johannes [Komponist:in]; Wenzig, Josef [Textdichter:in]; Lingg, Hermann [Textdichter:in]; Strauss, Richard [Komponist:in]; Mackay, John Henry [Textdichter:in]; Schack, Adolf Friedrich von [Textdichter:in]; Gilm, Hermann von [Textdichter:in]; Jensen, Adolf [Komponist:in]; Eichendorff, Joseph von [Textdichter:in]; Uhland, Ludwig [Textdichter:in] ; Giannini, Dusolina [Sänger:in]; Raucheisen, Michael [Instrumentalmusiker:in]; Sabajno, Carlo [Dirigent:in]; Barbirolli, John [Dirigent:in]; Schmalstich, Clemens [Dirigent:in] Teatro alla Scala Coro, Teatro alla Scala Orchestra, Staatsoper Unter den Linden Orchester

Dusolina Giannini II : Lebendige Vergangenheit (1 Schallplatte)

Schließen

Merkliste

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

[Wien]: Austro Mechana, [1975?]
Schubert, Franz [Komponist:in]; Müller, Wilhelm [Textdichter:in]; Strauss, Richard [Komponist:in]; Gilm, Hermann von [Textdichter:in]; Mackay, John Henry [Textdichter:in]; Schumann, Robert [Komponist:in]; Kerner, Justinus [Textdichter:in]; Lorenz, Wilhelmine [Textdichter:in]; Lenau, Nikolaus [Textdichter:in]; Grün, Anastasius [Textdichter:in]; Brahms, Johannes [Komponist:in]; Daumer, Georg Friedrich [Textdichter:in]; Hölty, Ludwig Christoph Heinrich [Textdichter:in]; Groth, Klaus [Textdichter:in] ; Anders, Peter [Sänger:in]; Lemnitz, Tiana [Sänger:in]; Raucheisen, Michael [Instrumentalmusiker:in]

Peter Anders : singt Lieder von Schubert, Strauss, Schumann, Brahms (1 Schallplatte)

Schließen

Merkliste

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

Berlin: VEB Deutsche Schallplatten, [1965?]
Beethoven, Ludwig van [Komponist:in]; Matthisson, Friedrich von [Textdichter:in]; Reissig, Christian Ludwig [Textdichter:in]; Brahms, Johannes [Komponist:in]; Daumer, Georg Friedrich [Textdichter:in]; Hölty, Ludwig Christoph Heinrich [Textdichter:in]; Groth, Klaus [Textdichter:in]; Schumann, Robert [Komponist:in]; Lorenz, Wilhelmine [Textdichter:in]; Kerner, Justinus [Textdichter:in]; Lenau, Nikolaus [Textdichter:in]; Wolf, Hugo [Komponist:in]; Eichendorff, Joseph von [Textdichter:in]; Mörike, Eduard [Textdichter:in]; Geibel, Emanuel [Textdichter:in]; Strauss, Richard [Komponist:in]; Gilm, Hermann von [Textdichter:in]; Mackay, John Henry [Textdichter:in] ; Geibel, Emanuel [Übersetzer:in]; Heyse, Paul [Übersetzer:in]; Anders, Peter [Sänger:in]; Raucheisen, Michael [Instrumentalmusiker:in]

Lieder mit Peter Anders [I] (1 Schallplatte)

Schließen

Merkliste

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

Berlin DDR: VEB Deutsche Schallplatten, 1983
Mozart, Wolfgang Amadeus [Komponist:in]; Flotow, Friedrich von [Komponist:in]; Wagner, Richard [Komponist:in]; Wagner, Richard [Librettist:in]; Strauss, Richard [Komponist:in]; Schack, Adolf Friedrich von [Textdichter:in]; Mackay, John Henry [Textdichter:in]; Verdi, Giuseppe [Komponist:in]; Smetana, Bedřich [Komponist:in]; Leoncavallo, Ruggiero [Komponist:in]; Puccini, Giacomo [Komponist:in]; Mascagni, Pietro [Komponist:in]; Verdi, Giuseppe [Komponist:in] ; Strauss, Richard [Instrumentalmusiker:in]; Hutt, Robert [Sänger:in]; Bohnen, Michael [Sänger:in]; Strozzi, Violetta de [Sänger:in]; Blech, Leo [Dirigent:in]

Robert Hutt : Lebendige Vergangenheit (1 Schallplatte)

Schließen

Merkliste

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

[Wien]: Austro Mechana, [1975?]
Strauss, Richard [Komponist:in]; Mackay, John Henry [Textdichter:in]; Schumann, Robert [Komponist:in]; Rückert, Friedrich [Textdichter:in] ; Kirchhoff, Walter [Sänger:in]; Seidler-Winkler, Bruno [Instrumentalmusiker:in]

Heimliche Aufforderung : op. 27, Nr. 3 (1 Schellackpl)

Online ansehen
Schließen

Zugang

... zur Audioaufnahme via Mediathek der SLUB

Schließen

Merkliste

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

Berlin: Deutsche Grammophon-Aktiengesellschaft, [1916]
Schubert, Franz [Komponist:in]; Rellstab, Ludwig [Textdichter:in]; Goethe, Johann Wolfgang von [Textdichter:in]; Müller, Wilhelm [Textdichter:in]; Rückert, Friedrich [Textdichter:in]; Salis-Seewis, Johann Gaudenz von [Textdichter:in]; Jacobi, Johann Georg [Textdichter:in]; Lappe, Karl [Textdichter:in]; Heine, Heinrich [Textdichter:in]; Collin, Matthäus von [Textdichter:in]; Schober, Franz von [Textdichter:in]; Loewe, Carl [Komponist:in]; Fontane, Theodor [Textdichter:in]; Schumann, Robert [Komponist:in]; Eichendorff, Joseph von [Textdichter:in]; Mosen, Julius [Textdichter:in]; Brahms, Johannes [Komponist:in]; Kügler, Franz [Textdichter:in]; Allmers, Hermann [Textdichter:in]; Hildach, Eugen [Komponist:in]; Dahn, Felix [Textdichter:in]; Wolf, Hugo [Komponist:in]; Mörike, Eduard [Textdichter:in]; Strauss, Richard [Komponist:in]; [...] ; Slezak, Leo [Sänger:in]; Schacker, Heinrich [Instrumentalmusiker:in]; Raucheisen, Michael [Instrumentalmusiker:in]; Gurlitt, Manfred [Dirigent:in] Staatsoper Unter den Linden Orchester

Leo Slezak - Liederbaum : Lebendige Vergangenheit (2 Schallplatten im Album)

Schließen

Merkliste

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

[Wien]: Austro Mechana, [1980?]
Beethoven, Ludwig van [Komponist:in]; Matthisson, Friedrich von [Textdichter:in]; Herrosee, Karl Friedrich Wilhelm [Textdichter:in]; Carpani, Giuseppe [Textdichter:in]; Schubert, Franz [Komponist:in]; Bruchmann, Franz von [Textdichter:in]; Salis-Seewis, Johann Gaudenz von [Textdichter:in]; Goethe, Johann Wolfgang von [Textdichter:in]; Seidl, Johann Gabriel [Textdichter:in]; Müller, Wilhelm [Textdichter:in]; Mendelssohn Bartholdy, Felix [Komponist:in]; Heine, Heinrich [Textdichter:in]; Moore, Thomas [Textdichter:in]; Brahms, Johannes [Komponist:in]; Hölty, Ludwig Christoph Heinrich [Textdichter:in]; Kügler, Franz [Textdichter:in]; Schenkendorf, Max von [Textdichter:in]; Daumer, Georg Friedrich [Textdichter:in]; Candidus, Karl [Textdichter:in]; Wolf, Hugo [Komponist:in]; Mörike, Eduard [Textdichter:in]; Heyse, Paul [Textdichter:in]; Eichendorff, Joseph von [Textdichter:in]; Strauss, Richard [Komponist:in]; [...] ; Wetzel, Justus Hermann [Instrumentalmusiker:in]; Schlusnus, Heinrich [Sänger:in]; Rupp, Franz [Instrumentalmusiker:in]; Raucheisen, Michael [Instrumentalmusiker:in]

Heinrich Schlusnus : Liederalbum (2 Schallplatten)

Schließen

Merkliste

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

[Wien]: Austro Mechana, [1980?]

Erschienen in: Falpa
Beethoven, Ludwig van [Komponist:in]; Matthisson, Friedrich von [Textdichter:in]; Herrosee, Karl Friedrich Wilhelm [Textdichter:in]; Carpani, Giuseppe [Textdichter:in]; Schubert, Franz [Komponist:in]; Bruchmann, Franz von [Textdichter:in]; Salis-Seewis, Johann Gaudenz von [Textdichter:in]; Goethe, Johann Wolfgang von [Textdichter:in]; Seidl, Johann Gabriel [Textdichter:in]; Müller, Wilhelm [Textdichter:in]; Rückert, Friedrich [Textdichter:in]; Klopstock, Friedrich Gottlieb [Textdichter:in]; Schumann, Robert [Komponist:in]; Geibel, Emanuel [Textdichter:in]; Uhland, Ludwig [Verfasser:in]; Mendelssohn Bartholdy, Felix [Komponist:in]; Heine, Heinrich [Textdichter:in]; Moore, Thomas [Textdichter:in]; Brahms, Johannes [Komponist:in]; Hölty, Ludwig Christoph Heinrich [Textdichter:in]; Kügler, Franz [Textdichter:in]; Schenkendorf, Max von [Textdichter:in]; Daumer, Georg Friedrich [Textdichter:in]; Candidus, Karl [Textdichter:in]; [...] ; Wetzel, Justus Hermann [Instrumentalmusiker:in]; Ochs, Siegfried [Arrangeur:in]; Charmile, … [Arrangeur:in]; Bernhard, August [Übersetzer:in]; Schlusnus, Heinrich [Sänger:in]; Rupp, Franz [Instrumentalmusiker:in]; Raucheisen, Michael [Instrumentalmusiker:in]; Weigert, Herman [Dirigent:in]; Melichar, Alois [Dirigent:in] Staatskapelle Berlin

Heinrich Schlusnus Liederalbum (2 CDs)

Schließen

Merkliste

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

[Wien]: Lebendige Vergangenheit, 1993
Beethoven, Ludwig van [Komponist:in]; Tiedge, Christoph August [Textdichter:in]; Metastasio, Pietro [Textdichter:in]; Sauter, Samuel Friedrich [Textdichter:in]; Matthisson, Friedrich von [Textdichter:in]; Schubert, Franz [Komponist:in]; Rellstab, Ludwig [Textdichter:in]; Rückert, Friedrich [Textdichter:in]; Shakespeare, William [Textdichter:in]; Bruchmann, Franz von [Textdichter:in]; Uhland, Ludwig [Verfasser:in]; Schmidt, Georg Philipp [Textdichter:in]; Goethe, Johann Wolfgang von [Textdichter:in]; Schumann, Robert [Komponist:in]; Eichendorff, Joseph von [Textdichter:in]; Kerner, Justinus [Textdichter:in]; Andersen, Hans Christian [Textdichter:in]; Loewe, Carl [Komponist:in]; Seidl, Johann Gabriel [Textdichter:in]; Alexis, Willibald [Textdichter:in]; Kopisch, August [Textdichter:in]; Liszt, Franz [Komponist:in]; Lenau, Nikolaus [Textdichter:in]; Hugo, Victor [Textdichter:in]; [...] ; Bauernfeld, Eduard von [Übersetzer:in]; Cornelius, Peter [Übersetzer:in]; Schlusnus, Heinrich [Sänger:in]; Raucheisen, Michael [Instrumentalmusiker:in]; Peschko, Sebastian [Instrumentalmusiker:in]

Heinrich Schlusnus Liederalbum : Volume 2 (2 CD)

Schließen

Merkliste

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

[Wien]: Lebendige Vergangenheit, [1993]
Verdi, Giuseppe [Komponist:in]; Meyerbeer, Giacomo [Komponist:in]; Offenbach, Jacques [Komponist:in]; Marschner, Heinrich [Komponist:in]; Gounod, Charles [Komponist:in]; Leoncavallo, Ruggiero [Komponist:in]; Mendelssohn Bartholdy, Felix [Komponist:in]; Strauss, Richard [Komponist:in]; Mackay, John Henry [Textdichter:in]; Bierbaum, Otto Julius [Textdichter:in] ; Strauss, Richard [Dirigent:in]; Schwarz, Joseph [Sänger:in]; Dux, Claire [Sänger:in]

Joseph Schwarz : Lebendige Vergangenheit (1 Schallplatte)

Schließen

Merkliste

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

[Wien]: Austro Mechana, [1970?]
Mozart, Wolfgang Amadeus [Komponist:in]; Wagner, Richard [Komponist:in]; Wagner, Richard [Librettist:in]; Flotow, Friedrich von [Komponist:in]; Kienzl, Wilhelm [Komponist:in]; Auber, Daniel-François-Esprit [Komponist:in]; Meyerbeer, Giacomo [Komponist:in]; Massenet, Jules [Komponist:in]; Gallet, Louis [Textdichter:in]; Moniuszko, Stanisław [Komponist:in]; Greissle, Felix [Textdichter:in]; Klenau, Paul von [Komponist:in]; Klenau, Paul von [Textdichter:in]; Strauss, Richard [Komponist:in]; Mackay, John Henry [Textdichter:in]; Tosti, Francesco Paolo [Komponist:in] ; Wittrisch, Marcel [Sänger:in]; Berger, Erna [Sänger:in]; Klose, Margarete [Sänger:in]; Beck, Walter [Sänger:in]; Carli, Silvio [Sänger:in]; Schmalstich, Clemens [Dirigent:in]; Orthmann, Erich [Dirigent:in]; Zaun, Fritz [Dirigent:in]; Kun, Cornelius [Dirigent:in]; Seidler-Winkler, Bruno [Dirigent:in] Staatsoper Unter den Linden Orchester, Staatskapelle Berlin

Marcel Wittrisch II : Lebendige Vergangenheit (1 Schallplatte)

Schließen

Merkliste

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

[Wien]: Austro Mechana, 1975?
Mozart, Wolfgang Amadeus [Komponist:in]; Weber, Carl Maria von [Komponist:in]; Wagner, Richard [Komponist:in]; Wagner, Richard [Librettist:in]; Thomas, Ambroise [Komponist:in]; Gounod, Charles [Komponist:in]; Offenbach, Jacques [Komponist:in]; Giordano, Umberto [Komponist:in]; Godard, Benjamin [Komponist:in]; Korngold, Erich Wolfgang [Komponist:in]; Strauss, Johann [Komponist:in]; Massenet, Jules [Komponist:in]; Puccini, Giacomo [Komponist:in]; Strauss, Richard [Komponist:in]; Mackay, John Henry [Textdichter:in]; Brahms, Johannes [Komponist:in]; Hölty, Ludwig Christoph Heinrich [Textdichter:in]; Schumann, Robert [Komponist:in]; Mosen, Julius [Textdichter:in]; Heine, Heinrich [Textdichter:in]; Schubert, Franz [Komponist:in]; Claudius, Matthias [Textdichter:in]; Schober, Franz von [Textdichter:in] ; Lehmann, Lotte [Sänger:in]; Kiepura, Jan [Sänger:in]; Ulanowsky, Paul [Instrumentalmusiker:in]; Weissmann, Frieder [Dirigent:in]; Weigert, Herman [Dirigent:in]; Zweig, Fritz [Dirigent:in]; Szell, George [Dirigent:in]; Besl, Karl [Dirigent:in]; Gurlitt, Manfred [Dirigent:in]; Jäger, Richard [Dirigent:in] Staatsoper Unter den Linden Orchester, Städtische Oper Berlin Orchester, Odeon-Werke Odeon-Kammerorchester

Lotte Lehmann 2 : Lyrikerin der Gesangskunst (2 Schallplatten)

Schließen

Merkliste

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

Köln: EMI Electrola GmbH, [1980?]
Makkai, Michael [Verfasser:in] ; Reyes, Gonzalo E. [Sonstige Person, Familie und Körperschaft]

First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext ; Deutschlandweit zugänglich)

Schließen

Merkliste

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

Berlin, Heidelberg: Springer Berlin Heidelberg, 1977

Erschienen in: Lecture notes in mathematics ; 611
Makkai, Michael

On Gabbay's Proof of the Craig Interpolation Theorem for Intuitionistic Predicate Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Duke University Press, 1995

Erschienen in: Notre Dame Journal of Formal Logic, 36 (1995) 3
Makkai, Michael

C. C. Chang and H. J. Keisler. Model theory. Third edition of XLI 697. Studies in logic and the foundations of mathematics, vol. 73. North-Holland, Amsterdam, New York, etc., 1990, xvi + 650 pp

Online ansehen
Schließen

Zugang

Schließen

Merkliste

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

Cambridge University Press (CUP), 1991

Erschienen in: The Journal of Symbolic Logic, 56 (1991) 3, Seite 1096-1097

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