PX a computational logic

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Hayashi, Susumu (VerfasserIn)
Weitere Verfasser:	Nakano, Hiroshi (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Mass. u.a. MIT Pr. 1988
Schriftenreihe:	Foundations of computing series
Schlagworte:	Logic, symbolic and mathematical > Data processing > Constructive mathematics
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	XIV, 200 S.
ISBN:	0262081741 0-262-08174-1