Term logic with choice operator
Main Author: | |
---|---|
Format: | Book |
Language: | English German |
Published: |
Berlin, New York :
Springer-Verlag,
1970
Berlin, New York, 1970 |
Edition: | [1st English ed.] |
Series: | Lecture notes in mathematics (Springer-Verlag) ;
6 Lecture notes in mathematics (Springer-Verlag) 6 |
Subjects: |