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

Código QR

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

Detalles Bibliográficos
Formato:	Libro
Acceso en línea:	Ver documento en línea

Ejemplares similares

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

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

Advances in proof theory.

Introduction to mathematical proofs : a transition /
por: Roberts, Charles E. 1942-, et al.
Publicado: (2010)

Introduction to mathematical proofs : a transition to advanced mathematics /
por: Roberts, Charles E. 1942-
Publicado: (2015)

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

Proof theory and intuitionistc systems
por: Scarpellini, Bruno, et al.
Publicado: (1964)

Discrete mathematics and induction to proofs and combinatory
por: Ferland, Kevin
Publicado: (2009)

Proof : a play /
por: Auburn, David, 1969-,

Proofs and refutations : the logic of mathematical discovery /
por: Lakatos, Imre, et al.
Publicado: (1976)

Proof of life
Publicado: (2000)

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

A Proof Theory for Description Logics.

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

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

Proofs from the book /
por: Aigner, Martin 1942-, et al.
Publicado: (1999)

Proofs from the book /
por: Aigner, Martín, 1942-
Publicado: (2001)

Language proof and logic /
por: Barwise, Jon,
Publicado: (1999)

Advances in mathematics education research on proof and proving : An International Perspective.

A model–theoretic approach to proof theory /
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)

ISILC proof theory symposion: proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Robot-proof : higher education in the age of artificial intelligence /
por: Aoun, Joseph E. 1953-
Publicado: (2017)

Mistakes in geometric proofs : by Ya. S. Dubnov
por: Dubnov, Iakov Semenovich 1887-1957, et al.
Publicado: (1963)

Mistake-proofing for operators : the ZQC system /
Publicado: (1997)

How to read and do proofs : an introduction to mathematical thought process /
por: Solow, Daniel, et al.
Publicado: (1987)

Dag prawitz on proofs and meaning /
Publicado: (2015)

Collusion-proof yardstick competition /
Publicado: (1999)

Advances in proof-theoretic semantics.

Fit libraries are future proof /
por: Bell, Steven J., et al.

Illustrations and proofs of the principle of population /
por: Place, Francis P697i 1771-1854
Publicado: (1930)

A logical introduction to proof /
Publicado: (2012)

Plant nematodes- proofs of pathogenicity
por: Oostenbrink, M.

Knowledge of mathematics teachers in initial training regarding mathematical proofs : Logic-mathematical aspects in the evaluation of arguments /
por: Alfaro Carvajal, Christian,

Aerodynamic analysis of several insect-proof screens used in greehouses
por: Valera, D.L.=700 1 Alvarez, A.J.

A Texas style introduction to proof /
por: Taylor, Ron 1948-
Publicado: (2017)

Aristotle's modal proofs : Prior analytics A8-22 in predicate logic.

A method in proofs of undefinability : with applications to functions in the arithmetic of natural numbers /
por: Bouvere, Karel Louis de, et al.
Publicado: (1959)

Certified programs and proofs : First International Conference, CPP 2011, Kenting, Taiwan, december 7-9, 2011. Proceedings /
Publicado: (2011)

Certified programs and proofs : Second International Conference, CPP 2012, Kyoto, Japan, december 13-15, 2012. Proceedings /
Publicado: (2012)