Proof theory and intuitionistc systems

Código QR

Proof theory and intuitionistc systems

Detalles Bibliográficos
Autor principal:	Scarpellini, Bruno (Autor, Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Berlín : Springer, 1964-.
Materias:	ARITMETICA

Ejemplares similares

The art of proof : basic training for deeper mathematics /
por: Beck, Matthias,
Publicado: (2010)

Euler's triangle inequality via proofs without words.
por: Nelsen, Roger B.

Theory of arithmetic /
por: Peterson, John A., et al.
Publicado: (1967)

Tratado de aritmética /
por: Bruño, G M

A course in model theory : an introduction to contemporary mathematical logic /
por: Poizat, Bruno, et al.
Publicado: (2000)

Theory of arithmetic /
por: Peterson, John A.
Publicado: (1963)

Theory of arithmetic
por: Peterson, John A
Publicado: (1971)

Proof theory : an introduction /
por: Pohlers, Wolfram, et al.
Publicado: (1964)

Aritmética curso medio /
por: Bruño, G M
Publicado: (1963)

Proofs & theories : essays on poetry /
por: Glück, Louise Elisabeth 1943-
Publicado: (1994)

Advances in proof theory.

Applied proof theory: proof interpretations and their use in mathematics.

The Theory of arithmetic functions /
por: Goldsmith, Donald 1943-
Publicado: (1964)

Aritmética : curso medio con cálculo mental y numerosos ejercicios /
por: Bruño, Gabriel Marie
Publicado: (1914)

Number systems : an intuitive approach
por: Hutton, Rex L., et al.
Publicado: (1971)

An Intuitive development of the real number system and related topics /
por: Baldwin, George, et al.
Publicado: (1963)

Number theory ; an introduction to proof
por: Vanden Eynden, Charles 1936-, et al.
Publicado: (1970)

Theory of Arithmetic / by John A. Peterson and Joseph Hashisaki
por: Peterson, John A.

Introducción a los mercados energéticos /
por: Scarpellini, Sabina
Publicado: (2008)

I grandi decoratori; pintoricchio : libreria piccolomini
por: Scarpellini, Pietro
Publicado: (1968)

Canova e l'ottocento
por: Scarpellini, Pietro
Publicado: (1968)

A proof theory for description logics /
por: Rademaker, Alexandre
Publicado: (2012)

Aritmética elemental /
por: Gentile, Enzo R., et al.
Publicado: (1985)

Problemas aritméticos escolares /
por: Puig Espinoza, Luis
Publicado: (1988)

Intuitionism and proof theory : proceedings of the Summer Conference at Buffalo, N. Y. 1968. /
por: Kino, A., et al.
Publicado: (1970)

Space in Weak Propositional Proof Systems /
por: Bonacina, Ilario.
Publicado: (2017)

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 /
por: Richter, Michael M., et al.
Publicado: (1964)

Matemática para maestros aritmética 1 nivel primario
por: Alvarado Didonato, Roberto

Aritmetica teorico, practica con 7008 ejercicicios y problemas
por: Baldor, Aurelio
Publicado: (1983)

Progresiones /
por: Sandoval Núñez, José Alfonso, et al.
Publicado: (2000)

A model-theoretic approach to proof theory /
por: Kotlarski, Henryk 1949-2008
Publicado: (2019)

Proof techniques in graph theory : proceedings of the second Ann Arbor Graph Theory Conference, February, 1968
por: Harary, Frank, et al.
Publicado: (1969)

Arithmetic its structure and concepts
por: Mueller, Francis J.
Publicado: (1964)

Arithmetic decimalized and metricated
por: Pascoe, L. C.
Publicado: (1971)

Libro primero de aritmetica para ninos : que trata de los numeros de 1 a 10 para la ensenanza en las escuelas primarias y en las familias.
por: Wiedemann, Francisco, et al.
Publicado: (1888)

A course in arithmetic /
por: Serre, Jean Pierre 1926-, et al.
Publicado: (1973)

Computational arithmetic : complete course /
por: Pappin, Charlene, et al.
Publicado: (1972)

Disquisitiones Arithmeticae
por: Gauss, Carl Friedrich
Publicado: (1995)

Aritmética teórico, práctico con 7008 ejercicios y problemas
por: Baldor, Aurelio
Publicado: (1968)

Buchi's monadic second order successor arithmetic
por: Siefkes, Dirk, et al.
Publicado: (1964)