Logical systems containing only a finite number of symbols
Logical systems containing only a finite number of symbols
Leon Henkin
Details
OL Work ID
OL17957930W
Subjects
Symbolic and mathematical Logic
Find this book
Goodreads
Open Library