Cargando…

Tern logic with choice operator

Detalles Bibliográficos
Autor principal:	Hermes, Hans
Formato:	Libro
Publicado:	Berlin : Springer-Verlag, 1970
Colección:	Lecture Notes in Mthematics ; 6
Materias:	Lógica matemática

Ejemplares similares

Logic with trees : an introduction to symbolic logic /
por: Howson, Colin
Publicado: (1997)

Intermediate logic
por: Bostock, David
Publicado: (1997)

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem /
Publicado: (1996)

What is mathematical logic
Publicado: (1990)

Course of mathematical logic
por: Fraíssé, Roland
Publicado: (1974)

First-order logic /
por: Smullyan, Raymond M.
Publicado: (1995)

Handbook of mathematical logic
Publicado: (1977)

First order mathematical logic /
por: Margaris, Angelo
Publicado: (1990)

Popular lectures on mathematical logic
por: Wang, Hao, 1921-
Publicado: (1993)

Philosophical problems of many-valuet logic
por: Zinov'ev A A
Publicado: (1963)

An outline of mathematical logic : fundamental results and notions explained with all details
por: Grzegorczyk, Andrzej
Publicado: (1974)

Las matemáticas y lo concreto
por: Fréchet, Maurice, 1878-
Publicado: (1958)

Memorabilia mathematica : the philomath's quotation-book ; 1140 anecdotes, aphorisms and passages by famous mathematicians, scientists & writers
por: Moritz, Robert Édouard, 1868-1940
Publicado: (1942)

Sigma : el mundo de las matemáticas
por: Newman, James Roy 1907-1966
Publicado: (1974)

The world of mathematics : a small library of the literature of mathematics from A'h-mosé the scribe to Albert Einstein /
Publicado: (1956)

Antología de matemáticas
Publicado: (1971)

Las matemáticas y lo concreto
por: Fréchet, Maurice 1878-
Publicado: (1988)

Antología de matemáticas
Publicado: (1983)

Opera matemática
por: Barbilian, Dan
Publicado: (1967)

A source book in mathematics /
por: Smith, David Eugene, 1860-1944
Publicado: (1959)

Logic for mathematicians
por: Hamilton, A. G., 1943-
Publicado: (1988)

Logic, logic, and logic
por: Boolos, George
Publicado: (1998)

Logic ; Techniques of formal reasoning
por: Kalish, Donald
Publicado: (1964)

Mathematical logic and the foundations of mathematics : an introductory survey /
por: Kneebone, G. T.
Publicado: (1963)

Introduction to mathematical logic
por: Mendelson, Elliott
Publicado: (1997)

Logic, sets, and recursion
por: Causey, Robert L.
Publicado: (2006)

Foundations of mathematical logic
por: Curry, Haskell B. 1900-1982 (Haskell Brooks)
Publicado: (1977)

Modal logic : the Lewis-modal systems
por: Zeman, J. Jay
Publicado: (1973)

Introduction to elementary mathematical logic
por: Stolyar, Abram Aronovich
Publicado: (1983)

First-order logic : an introduction
por: Cauman, Leigh S.
Publicado: (1998)

Sigma : el mundo de las matemáticas
por: Newman, James Roy, 1907-1966

La revolución en las matemáticas escolares
Publicado: (1968)

Laplace
por: Santaló, Luis A. (Luis Antonio), 1911-2001
Publicado: (1968)

Sigma : el mundo de las matemáticas /
Publicado: (1968)

Logic.
por: Salmon, Wesley C.
Publicado: (1963)

The languages of logic : an introduction to formal logic /
por: Guttenplan, Samuel D.
Publicado: (1997)

Formal logic
por: Prior, A. N. (Arthur N.), 1914-1969
Publicado: (1962)

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

An introduction to logic
por: Mitchell, David, 1914-
Publicado: (1964)

Readings in logic
por: Houde, Roland
Publicado: (1958)

Cannot write session to /tmp/vufind_sessions/sess_utbph1ig75ulv7g5mo3l31dm55