scientific article; zbMATH DE number 1567841

zbMath0964.03064MaRDI QIDQ4761670

Valery Plisko

Publication date: 21 February 2001

Full work available at URL: http://mech.math.msu.su/~fpm/eng/99/991/99113h.htm

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

zbMATH Keywords

arithmetic hierarchyconstructive logicpartial truth definitionarithmetic theory

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (1)

A survey of predicate realizability logic

This page was built for publication: