Deutsch Englisch

______________

Speichern

Treffer filtern

Neue Suche

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Fernleihe

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)

1 - 7 von 7
      
* Ihre Aktion  Suchen (Schlagwörter GND (Phrase) (XSP)) 
 eingrenzen (Basisklassifikation (XBKL)) 31.27
Bücher 1.  Derived categories
Yekutieli, Amnon *1959-*. - Cambridge : Cambridge University Press, 2020
Bücher 2.  Combinatorics, computability and logic : proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01)
Calude, Cristian S.. - London : Springer, 2001
Bücher 3.  Sets, logic and categories
Cameron, Peter J. *1947-*. - London [u.a.] : Springer, 1998
Bücher 4.  Duality and definability in first order logic
Makkai, Michael. - Providence, RI : American Mathematical Society, 1993
Bücher 5.  Topoi : the categorial analysis of logic
Goldblatt, Robert *1949-*. - Amsterdam [u.a.] : North-Holland Publ., 1979
E-Books/Online Ressourcen 6.  First Order Categorical Logic : Model-Theoretical Methods in the Theory of Topoi and Related Categories
Makkai, Michael. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1977Zusammenfassung
Bücher 7.  First order categorical logic : model-theoretical methods in the theory of topoi and related categories
Makkai, Michael *1933-*. - Berlin [u.a.] : Springer, 1977
1 - 7 von 7
      
Wort   Typ   Anzahl
31.27 Basisklassifikation (XBKL) 244
Schlagwörter GND (Phrase) (XSP) 707
 
1 - 7 von 7