Logic in algebraic form : Three languages and theories /
Collection : Studies in logic and the foundations of mathematics ; . v. 72 Détails physiques : 1 online resource (viii, 204 pages) ISBN :9780080954837 (electronic bk.); 0080954839 (electronic bk.).
Sujet(s) :
Algebraic logic.
|
Proof theory.
|
MATHEMATICS / Infinity
|
MATHEMATICS / Logic
|
Logique algébrique.
|
Preuve, Théorie de la.
|
Wiskundige logica.
|
Verzamelingen (wiskunde)
|
Algebraïsche logica.
|
Mathematische Logik.
|
Logik.
|
Algebra.
|
Logique algébrique.
|
Preuve, Théorie de la.
|
THEORIE EQUATIONNELLE.
|
langage algébrique.
|
logique premier ordre.
|
Electronic books.
|
Algebraic logic.
|
Proof theory.
|
Proof theory.
|
MATHEMATICS / Infinity
|
MATHEMATICS / Logic
|
Logique algébrique.
|
Preuve, Théorie de la.
|
Wiskundige logica.
|
Verzamelingen (wiskunde)
|
Algebraïsche logica.
|
Mathematische Logik.
|
Logik.
|
Algebra.
|
Logique algébrique.
|
Preuve, Théorie de la.
|
THEORIE EQUATIONNELLE.
|
langage algébrique.
|
logique premier ordre.
|
Electronic books.
|
Algebraic logic.
|
Proof theory.
Ressources en ligne :
Exemplaires : http://www.sciencedirect.com/science/book/9780444104779
Includes bibliographical references.
Description based on print version record.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
Il n'y a pas de commentaire pour ce document.