Cover Image

Introduction to mathematical logic; set theory / computable functions, model theory.

Saved in:

Bibliographic Details
Main Author:	MALITZ, Jerome
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, 1979.
Subjects:	1.Logic Symbolic and Mathematical
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Set Theory
by: Chatterjee, P. N.
Published: (1993)

Set Theory
by: Chatterjee, P. N.
Published: (1995)

Notes on logic and set theory /
by: Johnstone, P.T
Published: (1987)

Set theory, Logic and their limitations / Moshe Machover.
by: Machover ,Moshe
Published: (1996)

Computability and logic /
by: Boolos, George S.
Published: (1989)

Theory and Problems of Set Theory and Related Topics
by: Lipschutz, Seymour
Published: (1964)

First steps in model logic /
by: Popkorn, Sally
Published: (1994)

First steps in model logic
by: Popkorn, Sally
Published: (1994)

Threshold logic /
by: LEWIS, P.M
Published: (1967)

Logic for mathematicians /
by: Hamilton, Alan G., 1943-
Published: (2001)

Logic for mathematicians
by: Hamilton, Alan G., 1943-
Published: (2001)

Set Theory: and Related Topics
by: Spiegel, Murray R.
Published: (1965)

Fundamentals of symbolic logic/
by: AMBROSE, Alice
Published: (1948)

Schaum's outline of set theory and related topics /
by: Lipschutz, Seymour
Published: (1981)

Schaum's outline of set theory and related topics
by: Lipschutz, Seymour
Published: (1981)

Language logic and mathematics/
by: Kilmister, C.W
Published: (1967)

Elements of mathematical logic/
by: NOVIKOV, P.S
Published: (1964)

Elements of mathematical logic/
by: LUKASIEWICZ, Jan
Published: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
by: SCHMIDT, H. Arnold ed
Published: (1968)

Varieties of constructive mathematics /
by: Bridges, Douglas

Varieties of constructive mathematics
by: Bridges, Douglas
Published: (1987)

Logic With Trees: an introduction to symbolic logic/
by: Howson, Colin
Published: (1997)

Mathematical logic and computability/
by: Keisler, H. Jerome
Published: (1996)

Combinatory logic/
by: CURRY, Haskell B.
Published: (1968)

Mathematical logic and formal systemss: a collection of papers in honor of professor newton C. A. da costa
Published: (1985)

Essential Computer Mathematics
by: Lipschutz, Seymour
Published: (1982)

New Methods in symbolic logic/
by: STANDLEY, Gerald B.
Published: (1971)

Leibnits and the seventeenth-century /
by: Meyer, R.W
Published: (1952)

The Axiomatic method: an introduction to mathematical logic/
by: LIGHTSTONE, A.H
Published: (1964)

The Forcing Method in Set Theory An Introduction via Boolean Valued Logic /
by: Viale, Matteo
Published: (2024)

Axiomatic set theory, with a historical introductio/
by: BERNAYS, Paul
Published: (1968)

Discrete Mathematics
by: Vatsa, B. S.

Russell, Gödel, Tarski Selected Papers on the Philosophy of Logic and Mathematics /
by: Rodríguez-Consuegra, Francisco
Published: (2025)

An Invitation to Mathematical Logic
by: Marker, David
Published: (2024)

Fuzzy Sets and Fuzzy Logic Theory and applications /
by: Klir, George J.
Published: (1995)

Fuzzy Sets and Fuzzy Logic Theory and applications /
by: Yuan, Bo
Published: (1995)

Fuzzy Sets and Fuzzy Logic Theory and Applications
by: Klir, George J.
Published: (1995)

Schaum's Outline of Discrete Mathematics
by: Lipschutz, S.
Published: (1997)

Discrete Mathematics and Its Applications
by: Rosen, K. H.
Published: (1999)

Proofs and refutations/ the logic of mathemati-
by: LAKATOS, Inre
Published: (1976)