Spravočnaja kniga po matematičeskoj logike. Čast' IV, Teorija dokazatel'stv i konstruktivnaja matematika /

Uloženo v:
Podrobná bibliografie
Další autoři: Davidov, G. V. (Překladatel), Minc, Grigorij Jefimovič, 1939-2014 (Překladatel), Barwise, Jon, 1942-2000 (Editor)
Typ dokumentu: Kniha
Jazyk:Ruština
Vydáno: Moskva : Nauka. Glavnaja redakcija fiziko-matematičeskoj literatury, 1983
Témata:
matematická logika
predikátová logika
mathematical logic
predicate calculus
monografie
monographs
Příbuzné jednotky:Přeloženo z: Handbook of mathematical logic
Obálka
Popis
Fyzický popis:391 s.

Podobné jednotky