Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /

QR Code

Formal methods : an introduction to symbolic and to the study of effective operations in arithmetic and logic /

Bibliographic Details
Main Author:	Beth, Evert Willem (Author, Autor/a)
Format:	Book
Language:	English
Published:	Dordrecht, Holland : Reidel, c1962.
Subjects:	LOGICA, SIMBOLICA Y MATEMATICA

Similar Items

Epistemología matemática y psicología : relaciones entre la lógica formal y el pensamiento real /
by: Beth, Evert Willem, et al.
Published: (1980)

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

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

Symbolic logic : an introduction
by: Thomason, Richmond H, et al.
Published: (1970)

An Introduction to symbolic logic
by: Langer, Susanne Katherina Knauth n. 1895, et al.
Published: (1953)

Introduction to semantics, and Formalization of logic /
by: Carnap, Rudolf 1891-1970
Published: (1959)

Introduction to symbolic logic and its applications /
by: Carnap, Rudolf 1891 - 1970, et al.
Published: (1958)

Symbolic logic
by: Copi, Irving M., et al.
Published: (1961)

Symbolic logic
by: Copi, Irving M., et al.
Published: (1965)

Symbolic logic /
by: Copi, Irving M., et al.
Published: (1979)

Symbolic logic /
by: Copi, Irving M., et al.
Published: (1979)

Symbolic logic /
by: Copi, Irving M., et al.
Published: (1954)

Symbolic logic : and, the game of logic
by: Carroll, Lewis 1832-1898
Published: (1968)

Symbolic logic /
by: Lewis, Clarence Irving n. 1883, et al.
Published: (1959)

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

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

Symbolic Logic : an introductory textbook for non-mathematicians.
by: Lee, Harold Newton 1899-1990, et al.
Published: (1961)

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

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

An Introduction to Symbolic Logic / Susanne K. Langer
by: Langer, Susanne K.

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

The foundations of mathematics: a study in the philosophy of science /
by: Beth, Evert Willem, et al.
Published: (1966)

Fundamentals of symbolic logic : Alice Ambrose and Morris Lazerowitz. --
by: Ambrose, Alice 1906-, et al.
Published: (1962)

The Axiomatic Method : an Introduction to Mathematical Logic / A. H. Lightstone
by: Lightstone, A. H.

Term logic with choice operator
by: Hermes, Hans, et al.
Published: (1970)

Introduction to logic
by: Suppes, Patrick Colonel 1922-, et al.
Published: (1960)

Introduction to logic
by: Suppes, Patrick
Published: (1957)

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

An Introduction to algebraic logic
by: Kiss, Stephen Anthony n. 1890, et al.
Published: (1961)

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)

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

Studies in algebraic logic /
by: Daigneault, Aubert 1932-
Published: (1974)

Symbolic logic / Irving M. Copi
by: Copi, Irving M.

Symbolic logic : an introduction /
by: Fitch, Frederic Brenton
Published: (1952)

An introduction to symbolic logic /
by: Langer, Susanne Katherina, 1895-1985
Published: (1953)

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

Elements of symbolic logic /
by: Reichenbach, Hans, 1891-1953
Published: (1947)

Journal of Symbolic Logic.
Published: (1936)

The Bulletin of symbolic logic.