Proof theory sequent calculi and related formalisms
tarafından
 
Bimbó, Katalin, 1963-

Başlık
: 
Proof theory sequent calculi and related formalisms

Yazar
: 
Bimbó, Katalin, 1963-

ISBN
: 
9781466564664
 
9781466564688
 
9781322636467
 
9780429099694

Yazar Ek Girişi
: 
Bimbó, Katalin, 1963-

Yayın Bilgileri
: 
Boca Raton : CRC Press, Taylor & Francis Group, [2015]

Fiziksel Tanımlama
: 
1 online resource (x, 376 pages :) illustrations.

Seri
: 
Discrete mathematics and its applications
 
Discrete mathematics and its applications.

Notlar
: 
O'Reilly

Konu Başlığı
: 
Proof theory.
 
Théorie de la preuve.
 
MATHEMATICS -- General.
 
MATHEMATICS -- Arithmetic.
 
MATHEMATICS -- Set Theory.
 
Proof theory. (OCoLC)fst01078942

Elektronik Erişim
: 
https://learning.oreilly.com/library/view/~/9781466564664
 
https://learning.oreilly.com/library/view/~/9781466564664/?ar
 
https://go.oreilly.com/library-access/library/view/-/9781466564664/?ar


LibraryMateryal TürüDemirbaş NumarasıYer NumarasıDurumu/İade Tarihi
IYTE LibraryE-Kitap2331854-1001QA9.54 .B55 2015O'reilly E-Books