Carregant...
Proof theory sequent calculi and related formalisms
| Autor principal: | Bimbo, Katalin |
|---|---|
| Format: | Printed Book |
| Idioma: | English |
| Publicat: |
Boca Raton
CRC press
2015
|
| Col·lecció: | Discrete mathematics and its applications
|
| Matèries: |
Ítems similars
-
Proof theory: sequent calculi and related formalisms
per: Bimbo, Katalin
Publicat: (2015) -
Logic and Proof/
per: Bittinger, Marvin L.
Publicat: (1970) -
Introduction to mathematical proofs a transition
per: Roberts, Charles E
Publicat: (2010) -
Applied proof theory proof interpretations and their use in mathematics
per: Kohlenbach. U.
Publicat: (2008) -
Logic and proof
per: Bittinger, Marvin L
Publicat: (1970)