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

Código QR

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

Detalles Bibliográficos
Autor principal:	Beth, Evert Willem (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Dordrecht, Holland : Reidel, c1962.
Materias:	LOGICA, SIMBOLICA Y MATEMATICA

Ejemplares similares

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

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

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

Symbolic logic : an introduction
por: Thomason, Richmond H, et al.
Publicado: (1970)

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

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

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

Symbolic logic
por: Copi, Irving M., et al.
Publicado: (1961)

Symbolic logic
por: Copi, Irving M., et al.
Publicado: (1965)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1979)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1979)

Symbolic logic /
por: Copi, Irving M., et al.
Publicado: (1954)

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

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

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

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

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

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

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

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

Lógica formal lógica dialéctica /
por: Lefebvre, Henri
Publicado: (1978)

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

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

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

Term logic with choice operator
por: Hermes, Hans, et al.
Publicado: (1970)

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

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

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

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

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

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

Introduction to mathematical logic
por: Hermes, Hans
Publicado: (1973)

Studies in algebraic logic /
por: Daigneault, Aubert 1932-
Publicado: (1974)

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

Symbolic logic : an introduction /
por: Fitch, Frederic Brenton
Publicado: (1952)

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

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

Elements of symbolic logic /
por: Reichenbach, Hans, 1891-1953
Publicado: (1947)

Journal of Symbolic Logic.
Publicado: (1936)

The Bulletin of symbolic logic.