Completeness of many-sorted equational logic

Bibliographische Detailangaben

Hauptverfasser:	Goguen, Joseph 1941-2006 (VerfasserIn), Meseguer, José (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Stanford, CA CSLI 1984
Schriftenreihe:	Report / Center for the Study of Language and Information 15
Schlagworte:	Equations, Theory of Logic, Symbolic and mathematical
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!