Intuitionistic logic, model theory and forcing
1. autor: | |
---|---|
Format: | Książka |
Język: | English |
Wydane: |
Amsterdam
North-Holland Pub. Co.
1969.
|
Seria: | Studies in logic and the foundation of mathematics.
|
Hasła przedmiotowe: |