Lectures on infinitary logic and logics of programs /

Código QR

Lectures on infinitary logic and logics of programs /

Detalles Bibliográficos
Autor principal:	Rasiowa, Helena (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Buenos Aires : Marymar, 1974.
Materias:	LOGICA, SIMBOLICA Y MATEMATICA

Ejemplares similares

Infinitary logic : in memoriam Carol Karp.
por: Kueker, David W. 1934-, et al.
Publicado: (1964)

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

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

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

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

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: 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)

Elementary logic
por: Mates, Benson 1919-, 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
por: Copi, Irving M., et al.
Publicado: (1961)

Symbolic logic
por: Copi, Irving M., 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)

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

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)

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

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)

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

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

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)

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

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

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

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

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

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

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

Cannot write session to /tmp/vufind_sessions/sess_1une83i3et6lhmf7t49tcb3bv6