İYTE Library Logo

Proof theory sequent calculi and related formalisms için kapak resmi
Proof theory sequent calculi and related formalisms
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
Ayırtma: Copies:

İYTE Kütüphanesi © 2020
library@iyte.edu.tr
+90 (232) 750-6335
Gülbahçe Kampüsü - Urla, İzmir 35430 TR