Many-sorted logic and its applications

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Meinke, K. (BerichterstatterIn), Meinke, Karl (HerausgeberIn), Tucker, John V. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Chichester, New York Wiley 1993
Schriftenreihe:	Wiley professional computing
Schlagworte:	Mathematics > Mathematical logic > Aufsatzsammlung > Mehrsortige Logik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!