scientific article; zbMATH DE number 2247256

From MaRDI portal

Publication:5718568

Jump to:navigation, search

zbMath1096.03073MaRDI QIDQ5718568

Sara Negri, Jan von Plato

Publication date: 16 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

duality sequent calculus geometric theories cogeometric theories extension of Herbrand's theorem permutability of mathematical rules

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)

Related Items (1)

Constructibility and Geometry

Uses Software

Pesca

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5718568&oldid=30453850"