Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Proof theory and intuitionistc...
Description
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Proof theory and intuitionistc systems
Bibliographic Details
Main Author:
Scarpellini, Bruno
(Author, Autor/a)
Format:
Book
Language:
English
Published:
Berlín :
Springer,
1964-.
Subjects:
ARITMETICA
Holdings
Description
Similar Items
Staff View
Description
Item Description:
En: Lecture notes in mathematics. Berlin, Springer, 1964- v. 212.
Physical Description:
290 páginas
Similar Items
The art of proof : basic training for deeper mathematics /
by: Beck, Matthias,
Published: (2010)
Euler's triangle inequality via proofs without words.
by: Nelsen, Roger B.
Theory of arithmetic /
by: Peterson, John A., et al.
Published: (1967)
Tratado de aritmética /
by: Bruño, G M
A course in model theory : an introduction to contemporary mathematical logic /
by: Poizat, Bruno, et al.
Published: (2000)
×
Loading...