Mathematical interpretation of formal systems /

QR Code

Mathematical interpretation of formal systems /

Bibliographic Details
Main Author:	Skolem, Thoralf A. 1887-1967 (Author, Autor/a)
Format:	Book
Language:	English
Published:	Amsterdam : North Holland, 1955.
Subjects:	LOGICA, SIMBOLICA Y MATEMATICA

Similar Items

Mathematical interpretation of formal systems /
by: Skolem, Thoralf A. 1887-1967, et al.
Published: (1971)

Selected works in logic /
by: Skolem, Thoralf A. 1887-1967, et al.
Published: (1970)

Mathematical interpretation of formal systems
Published: (1955)

Theory of formal systems /
by: Smullyan, Raymond M.
Published: (1961)

Systems of Formal Logic / L. H. Hackstaff
by: Hackstaff, L. H.

Formal logic : its scope and limits
by: Jeffrey, Richard C., et al.
Published: (1967)

Mathematical logic and the foundation of mathematics: an introductory survey
by: Kneebone, G.T.
Published: (1963)

Logic techniques of formal reasoning /
by: Kalish, Donald, et al.
Published: (1964)

Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /
by: Beth, Evert Willem, et al.
Published: (1962)

Lógica formal lógica dialéctica /
by: Lefebvre, Henri
Published: (1978)

Abstract set theory /
by: Skolem, Thoralf A. 1887-1967, et al.
Published: (1988)

Diophatische Gleichungen
by: Skolem, Thoralf A. 1887-1967, et al.
Published: (1950)

Problemas de decisión y recursividad en sistemas lógicos formales = decision problems and recursiveness in formal logic systems /
by: Piza Volio, Eduardo 1955-

Mathematical logic
by: Shoenfield, Joseph Robert 1927-, et al.
Published: (1967)

Mathematical logic /
by: Quine, Willard Van Orman, et al.
Published: (1951)

Mathematical logic /
by: Quine, Willard Van Orman, et al.
Published: (1981)

Mathematical logic
by: Monk, James Donald 1930-, et al.
Published: (1976)

Mathematical logic
by: Klenne, Stephen Cole
Published: (1967)

The anatomy of mathematics /
by: Kershner, Richard Brandon 1913-1982
Published: (1950)

Introduction to mathematical logic /
by: Mendelson, Elliott 1931-2020, et al.
Published: (1997)

Foundations of mathematical logic /
by: Curry, Haskell Brooks n. 1900, et al.
Published: (1963)

Course of mathematical logic /
by: Fraisse, Roland, et al.
Published: (1973)

Handbook of mathematical logic /
by: Barwise, Jon
Published: (1978)

Introduction to mathematical logic /
by: Mendelson, Elliott 1931-2020, et al.
Published: (1964)

Introduction to mathematical logic /
by: Church, Alonzo n. 1903, et al.
Published: (1956)

The Elements of mathematical logic /
by: Rosenbloom, Paul C., et al.
Published: (1950)

Elements of mathematical logic.
by: Novikov, Petr Sergeevich, et al.
Published: (1964)

Foundations of mathematical logic
by: Curry, Haskell B.
Published: (1963)

Principles of mathematical logic /
by: Hilbert, David 1862-1943, et al.
Published: (1950)

Introduction to mathematical logic
by: Hermes, Hans
Published: (1973)

Mathematics and logic : retrospect and prospects /
by: Kac, Mark, et al.
Published: (1969)

A mathematical introduction to logic /
by: Herderton, Herbert B., et al.
Published: (1972)

Lecture notes on mathematical logic /
by: Davis, Martin 1928-, et al.
Published: (1939)

A Profile of mathematical logic
by: Delong, Howard
Published: (1970)

Introduction to mathematical logic : set theory, computable functions, model theory /
by: Malitz, Jerome, et al.
Published: (1979)

Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
Published: (1964)

Organic and inorganic logic and the foundations of mathematics
by: Lintz, R. G., et al.
Published: (1974)

Cambridge Summer School in Mathematical logic /
by: Rogers, Hartley n. 1926-, et al.
Published: (1964)

A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang 1936-2011
Published: (2010)

La lógica formal
by: Virieux-Reymond, Antoinette
Published: (1976)