Bisimulations, model descriptions and propositinal quantifiers / A. Visser

<http://data.bibliotheken.nl/id/nbt/p148174582>

rdfs:label	"Bisimulations, model descriptions and propositinal quantifiers / A. Visser"
schema:name	"Bisimulations, model descriptions and propositinal quantifiers"
schema:author	Universiteit Utrecht. Faculteit der Wijsbegeerte
	Visser, Albert (1950- ; wiskundige logica)
schema:contributor	Logic Group (Utrecht)
	Utrecht Research Institute for Philosophy
schema:sameAs	<http://www.worldcat.org/oclc/68719538>
schema:mainEntityOfPage	<https://data.bibliotheken.nl/.well-known/genid/3bcb41cf767c4e4cf69dd123d0b78d66>
http://purl.org/dc/terms#issued	"1996"
schema:about	wiskundige logica
	algebra
schema:inLanguage	"en"
schema:isPartOf	Logic Group preprint series / University of Utrecht, Department of Philosophy
schema:isbn	"9039315043"
schema:numberOfPages	39
schema:publication	<https://data.bibliotheken.nl/.well-known/genid/a7776838f529e9ab1f3982d14b785c6b>