Ein Entscheidungsverfahren für den Lewisschen Modalkalkül S4
Gespeichert in:
Verfasser / Beitragende:
Rainer Krauskopf
Ort, Verlag, Jahr:
Berlin :
1970
Beschreibung:
S. 193-210
Format:
Buch (Hochschulschrift)