Mathematical logic

Set Theory with a Universal Set: Exploring an Untyped Universe

U Department of Pure Mathematics and Mathematical Statistics T. E. (Department of Pure Mathematics and Mathematical Statistics

Saturated Model Theory (2nd Edition)

Usa) Sacks Gerald E (Harvard Univ

Intuitionistic Set Theory

John L (Professor of Philosophy University of Western Ontario) Bell

Diamond: A Paradox Logic

Usa) Hellerstein Nathaniel S (City College Of San Francisco

The Nuts and Bolts of Proofs: An Introduction to Mathematical...

U.S.A.) Cupillari Behrend College Antonella (Pennsylvania State Erie

Mathematical Logic

George Tourlakis

Continuum Theory: An Introduction

USA) Nadler West Virginia Sam (Morgantown

Basic Simple Type Theory

Swansea) Hindley J. Roger (University of Wales

An Elementary Transition to Abstract Mathematics

USA) Effinger New York Gove (Skidmore College i Gary L. Mullen

Finite-State Techniques: Automata, Transducers and Bimachines

Stoyan Mihov i Klaus U. (Ludwig-Maximilians-Universitat Munchen) Schulz