Holdings: Mathematical logic and theoretical computer science

Corporate Author:	University of Maryland, College Park
Other Authors:	Smith, Carl H.( 1950-), Kueker, D. W.( 1943-), Lopez-Escobar, Edgar G. K.( 1937-)
Series:	Lecture notes in pure and applied mathematics ;
Subjects:	Algebra Logic, Symbolic and mathematical Electronic data processing

Call Number:	QA 9.2 .M3 1987

Accession	Item Category	Format	Status	Notes

1000399851

Open Shelf

Book

AVAILABLE