Term logic with choice operator

Código QR

Term logic with choice operator

Detalles Bibliográficos
Autor principal:	Hermes, Hans (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1970.
Materias:	LOGICA, SIMBOLICA Y MATEMATICA

Ejemplares similares

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

Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974)

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

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

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

The logical problem of induction /
por: Wright, George Henrik Von 1916-2003, et al.
Publicado: (1957)

Foundations of the logical theory of scientific knowledge (complex logic) /
por: Zinoviev, Aleksandr 1922-, et al.
Publicado: (1973)

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

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

Mathematical logic
por: Shoenfield, Joseph Robert 1927-, et al.
Publicado: (1967)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1951)

Mathematical logic /
por: Quine, Willard Van Orman, et al.
Publicado: (1981)

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)

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

Logic for mathematicians
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1953)

Mathematical logic
por: Monk, James Donald 1930-, et al.
Publicado: (1976)

Elementary logic
por: Mates, Benson 1919-, et al.
Publicado: (1965)

Mathematical logic
por: Klenne, Stephen Cole
Publicado: (1967)

Logic for mathematicians
por: Rosser, J. Barkley
Publicado: (1953)

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

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

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

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

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

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

Many-valued logics /
por: Rosser, John Barkley n. 1907, et al.
Publicado: (1952)

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

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

Handbook of mathematical logic /
por: Barwise, Jon
Publicado: (1978)

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

Elements of mathematical logic.
por: Novikov, Petr Sergeevich, et al.
Publicado: (1964)

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)

Course of mathematical logic /
por: Fraisse, Roland, et al.
Publicado: (1973)

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

Foundations of mathematical logic
por: Curry, Haskell B.
Publicado: (1963)

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