An algol program for deciding derivability in minimal propositional calculus with implication and conjunction over a three letter alphabet

N.G. Bruijn, de

Onderzoeksoutput: Boek/rapportRapportPopulair

43 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Hogeschool Eindhoven
Aantal pagina's7
StatusGepubliceerd - 1975

Publicatie series

NaamEindhoven University of Technology : Dept of Mathematics : memorandum
Volume7506

Citeer dit