Imagem da capa

Constructive order types/

Na minha lista:

Detalhes bibliográficos
Autor principal:	CROSSLEY, John N.
Formato:	Livro
Idioma:	inglês
Publicado em:	Amsterdam: North-Holland; 1969.
Colecção:	(Studies in Logic and the fluoridations of Mathematics)
Assuntos:	1. Logic, Symbolic and Mathematical. a. Title.
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Varieties of constructive mathematics /
Por: Bridges, Douglas

Varieties of constructive mathematics
Por: Bridges, Douglas
Publicado em: (1987)

The Axiomatic method: an introduction to mathematical logic/
Por: LIGHTSTONE, A.H
Publicado em: (1964)

Elements of mathematical logic/
Por: NOVIKOV, P.S
Publicado em: (1964)

Combinatory logic/
Por: CURRY, Haskell B.
Publicado em: (1968)

New Methods in symbolic logic/
Por: STANDLEY, Gerald B.
Publicado em: (1971)

Elements of mathematical logic/
Por: LUKASIEWICZ, Jan
Publicado em: (1963)

Contributions to mathematical logic: proceedings of the logic colloquium, Hannover 1966/
Por: SCHMIDT, H. Arnold ed
Publicado em: (1968)

Logic With Trees: an introduction to symbolic logic/
Por: Howson, Colin
Publicado em: (1997)

Introduction to Mathematical Logic / Introduction to Mathematical Logic
Por: Church, Alonzo
Publicado em: (1996)

The Essence of Logic / The Essence of Logic
Por: Kelly, John
Publicado em: (1997)

Formal Logic/ Its Scope and Limits
Por: Jeffrey, Richard C.
Publicado em: (1967)

Symbolic Logic/
Por: Copi, Irving M.
Publicado em: (1979)

Introduction to Symbolic Logic/
Por: Basson, A. H.
Publicado em: (1960)

Symbolic Logic/
Por: Lee, Harold Newton
Publicado em: (1961)

A mathematical introduction to logic /
Por: Enderton, Herbert B.
Publicado em: (2001)

Introduction to mathematical logic /
Por: Church, Alonzo
Publicado em: (1956)

Symbolic logic /
Por: Copi, Irving M.
Publicado em: (1979)

Introduction to Symbolic Logic / Introduction to Symbolic Logic
Por: Basson, A. H.
Publicado em: (1993)

Logic and Set Theory /
Por: Philip, N.
Publicado em: (1979)

Fundamentals of symbolic logic/
Por: AMBROSE, Alice
Publicado em: (1948)

Introduction to mathematical logic; set theory / computable functions, model theory.
Por: MALITZ, Jerome
Publicado em: (1979)

Threshold logic /
Por: LEWIS, P.M
Publicado em: (1967)

Computability and logic /
Por: Boolos, George S.
Publicado em: (1989)

Logic for mathematicians /
Por: Hamilton, Alan G., 1943-
Publicado em: (2001)

Leibnits and the seventeenth-century /
Por: Meyer, R.W
Publicado em: (1952)

First steps in model logic /
Por: Popkorn, Sally
Publicado em: (1994)

First steps in model logic
Por: Popkorn, Sally
Publicado em: (1994)

Logic for mathematicians
Por: Hamilton, Alan G., 1943-
Publicado em: (2001)

Logic : A Philosophical Introduction /
Por: Kaminsky, Jack
Publicado em: (1974)

An introduction to non-classical logic : from if to is / from if to is
Por: Priest, Graham
Publicado em: (2008)

Studying deductive logic/
Por: Berger, Fred R.
Publicado em: (1977)

Principia mathematica to *56 /
Por: Whitehead, Alfred North
Publicado em: (1997)

Set Theory
Por: Chatterjee, P. N.
Publicado em: (1993)

Set Theory
Por: Chatterjee, P. N.
Publicado em: (1995)

Readings on Logic
Por: Copi
Publicado em: (1972)

A Concise Introduction to Logic
Por: Hurley
Publicado em: (2006)

Logic: Informal, Symbolic and Inductive
Por: Chakraborti
Publicado em: (2007)

Symbolic Logic
Por: Copi
Publicado em: (1995)

Readings on Logic /
Por: Copi, Irving M.
Publicado em: (1972)