Inductive definitions in COLD-K

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Koymans, Christiaan Peter Jozef (VerfasserIn), Renardel de Lavalette, Gerard R. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht Dep. of Philosophy, Univ. of Utrecht 1989
Schriftenreihe:	Rijksuniversiteit <Utrecht> / Logic Group: Logic Group preprint series 50
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge