On sentences provable in impredicative extensions of theories

An edition of On sentences provable in impredicative extensions of theories (1979)

On sentences provable in impredicative extensions of theories

By Zygmunt Ratajczyk

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

1979

Publisher

Państ. Wydaw. Naukowe ; available from Ars Polona

Language

eng

Pages

Description:

subjects: Axiomatic set theory, Predicate calculus