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 - 3 von 3
	Ihre Aktion	Suchen (Systematiken (XSYS)) 03C75


	1.	Bounded variable logics and counting : a study in finite models Otto, Martin 1961-. - Berlin [u.a.] : Springer, 1997

	2.	Absolute logics Akkanen, Jyrki. - Helsinki : Suomalainen Tiedeakatemia, 1995

	3.	Model theory for infinitely deep languages Karttunen, Maaret. - Helsinki : Suomalainen Tiedeakatemia, 1984

1 - 3 von 3

Wort		Typ		Anzahl

03c75		Systematiken (XSYS)		6

1 - 3 von 3