SBB StaBiKat - results/shortlist

Suchergebnis

sortiert nach

Unscharfe Suche

Kurzliste

______________

Treffer filtern

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)


			1 - 2 von 2
	Ihre Aktion	Suchen (Schlagwörter GND (Phrase) (XSP)) kategorientheorie eingrenzen (Basisklassifikation (XBKL)) 31.11


	1.	Categorical logic and type theory Jacobs, Bart 1963-. - 1. ed. - Amsterdam [u.a.] : Elsevier, c1999

	2.	Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971 Lawvere, Francis William. - Berlin [u.a.] : Springer, 1972

1 - 2 von 2

Wort		Typ		Anzahl

kategorientheorie		Schlagwörter GND (Phrase) (XSP)		107
31.11		Basisklassifikation (XBKL)		327

1 - 2 von 2