Loading…

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /

Provability, Computability and Reflection.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Keisler, H. Jerome
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