Ein Entscheidungsverfahren für den Lewisschen Modalkalkül S4

Verfasser / Beitragende:
Rainer Krauskopf
Ort, Verlag, Jahr:
Berlin : 1970
Beschreibung:
S. 193-210
Format:
Buch (Hochschulschrift)
ID: 179546716