1-24 of 24 Books

The theory of ultrafilters
By W. W. Comfort,S. Negrepontis

The elements of mathematical logic
By Paul C. Rosenbloom
Problems in the constructive trend in mathematics
Problems in the constructive trend in mathematics
By V. P. Orevkov

Theorem proving in higher order logics
By Yves Bertot,Gilles Dowek,Andre Hirschowitz
Theory of Logical Types
Theory of Logical Types
By Irving Marmer Copi

New introduction to modal logic
By George Edward Hughes

Logic Symposia, Hakone, 1979, 1980
By Logic Symposia (1979 Hakone-machi, Japan)

Cambridge Summer School in Mathematical Logic
By Cambridge Summer School in Mathematical Logic 1971.

Advances in contemporary logic and computer science
By Brazilian Conference on Mathematical Logic (11th 1996 Salvador, Brazil)
Représentations unipotentes génériques et blocs des groupes réductifs finis
Représentations unipotentes génériques et blocs des groupes réductifs finis
By Michel Broué

The monadic second order theory of all countable ordinals
By J Richard Büchi

Logica matematica per l'informatica
By Mordechai Ben-Ari

L'analisi matematica della logica
By George Boole

Proof and computation
By North Atlantic Treaty Organization

Logical and logico-mathematical calculi. 2.
By V. P. Orevkov