Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Advances in proof-theoretic se...
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
Advances in proof-theoretic semantics.
Bibliographic Details
Format:
Book
Online Access:
Ver documento en línea
Holdings
Description
Similar Items
Staff View
Description
ISBN:
9783319226866
Similar Items
A model-theoretic approach to proof theory /
by: Kotlarski, Henryk 1949-2008
Published: (2019)
Advances in proof theory.
Advances in web semantics I : Ontologies, Web Services and Applied Semantic Web.
Advances in mathematics education research on proof and proving : An International Perspective.
Advances in semantic media adaptation and personalization.
×
Loading...