Aspects of Mathematical Logic
ISBN: 9783642110801
Platform/Publisher: SpringerLink / Springer Berlin Heidelberg
Digital rights: Users: unlimited; Printing: unlimited; Download: unlimited
Subjects: Mathematics and Statistics;

H. Hermes: Basic notions and applications of the theory of decidability.- D. Kurepa: On several continuum hypotheses.- A. Mostowski: Models of set theory.- A. Robinson: Problems and methods of model theory.- S. Sochor, B. Balcar: The general theory of semisets. Syntactic models of the set theory.


hidden image for function call