Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
Provability, Computability and Reflection.
Call Number: | Libro Electrónico |
---|---|
Main Author: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Amsterdam :
North-Holland Pub. Co.,
1971.
|
Series: | Studies in logic and the foundations of mathematics ;
v. 62. |
Subjects: | |
Online Access: | Texto completo Texto completo Texto completo |