Intuitionistic logic model theory and forcing

Código QR

Intuitionistic logic model theory and forcing

Detalles Bibliográficos
Autor principal:	Fitting, Melvin Chris
Formato:	Libro
Lenguaje:	English
Publicado:	Amsterdam North-Holland 1969
Colección:	(Studies in logic and the foundations of mathematics)
Materias:	LOGICA MATEMATICA

Ejemplares similares

Intuitionistic logic model theory and forcing
por: Fitting, Melvin Chris, et al.
Publicado: (1969)

Notes on logic
por: Lyndon, Roger C
Publicado: (1966)

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

Introduction to mathematical logic
por: Church, Alonzo
Publicado: (1956)

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

Logic in elementary mathematics
por: Exner, Robert M.
Publicado: (1959)

Logic machines and diagrams
por: Gardner, Martin
Publicado: (1958)

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

A Survey of symbolic logic
por: Lewis, C. I.
Publicado: (1960)

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

Introduction to symbolic logic and its applications
por: Carnap, Rudolf
Publicado: (1958)

Algebraic logic
por: Halmos, Paul R.
Publicado: (1962)

The Axiomatic method an introduction to mathematical logic
por: Lightstone, A. H.
Publicado: (1964)

The Collected papers of Gerhard Gentzen
por: Szabo, M.E.
Publicado: (1969)

Introducción a la lógica simbólica
por: Langer, Susanne K.
Publicado: (1972)

Lógica
Publicado: (1970)

Los Métodos de la lógica
por: Quine, Willard Van Orman
Publicado: (1962)

Guía espiritual
por: Descartes, Renato

Pensée et structure
por: Dienes, Z. P.
Publicado: (1967)

Génesis de las estructuras lógicas elementales clasificación y seriaciones
por: Piaget, Jean
Publicado: (1976)

Fundamentals of generalized recursion theory /
por: Fitting, Melvin Chris, et al.
Publicado: (1981)

Ensayo de lógica operatoria
por: Piaget, Jean
Publicado: (1977)

A programming logic with an introduction to the PL/CV verifier
por: Constable, Robert L.
Publicado: (1978)

Metamathematical investigation of intuitionistic arithmetic and analysis
por: Troelstra, Anne Sjerp 1939-
Publicado: (1964)

The Foundations of intuitionistic mathematics; especially in relation to recursive functions
por: Kleene, Stephen Cole
Publicado: (1965)

God and abstract objects the coherence of theism: aseity
por: Craig, William Lane
Publicado: (2017)

Epistemología matemática y psicología relaciones entre la lógica formal y el pensamiento real
por: Beth, Evert W.
Publicado: (1980)

Sets, logic and axiomatic theories
por: Stoll, Robert R.
Publicado: (1961)

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

The Computational complexity of logical theories /
por: Ferrante, Jeanne 1949-, et al.
Publicado: (1964)

Set theory and logic
por: Stoll, Robert R.
Publicado: (1963)

Mathematical logic and foundations of set theory proceedings of an international colloquium
Publicado: (1970)

Computability and logic /
por: Boolos, George
Publicado: (1980)

Introducción al "Tractatus" de Wittgenstein
por: Mounce, H. O.
Publicado: (1983)

Tractatus logico-philosophicus
por: Wittgenstein, Ludwig (1889-1951)
Publicado: (2010)

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

Introduction to mathematical logic : set theory, computable functions, model theory /
por: Malitz, Jerome, et al.
Publicado: (1979)

Set theory and logic
por: Stoll, Robert Roth, et al.
Publicado: (1963)

Set theory and logic /
por: Fraenkel, Abraham Adolf 1891-1965, et al.
Publicado: (1966)

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