Sumbangan 15 September 2024 – 1 Oktober 2024 Tentang pengumpulan dana

Pencarian kata kunci

  • Main
  • Pencarian kata kunci
1
Algebra of proofs

Algebra of proofs

Szabo, M E
Tahun:
1978
Bahasa:
english
File:
PDF, 11.49 MB
0 / 0
english, 1978
2
Algebra of Proofs

Algebra of Proofs

M. E. Szabo
Tahun:
1978
Bahasa:
english
File:
PDF, 8.87 MB
0 / 0
english, 1978
3
Algebra of Proofs

Algebra of Proofs

Szabo M.E.
Tahun:
1978
Bahasa:
english
File:
DJVU, 1.46 MB
0 / 0
english, 1978
4
Categories, Allegories

Categories, Allegories

P.J. Freyd, A. Scedrov
Tahun:
1990
Bahasa:
english
File:
PDF, 10.42 MB
0 / 0
english, 1990
5
Categories, allegories

Categories, allegories

P.J. Freyd, A. Scedrov
Tahun:
1990
Bahasa:
english
File:
PDF, 10.75 MB
0 / 0
english, 1990
6
Categories, allegories

Categories, allegories

P.J. Freyd, A. Scedrov
Tahun:
1990
Bahasa:
english
File:
DJVU, 2.67 MB
0 / 0
english, 1990
7
Categories, Allegories

Categories, Allegories

P.J. Freyd, A. Scedrov
Tahun:
1990
Bahasa:
english
File:
DJVU, 3.03 MB
0 / 0
english, 1990
8
Transactions on Petri Nets and Other Models of Concurrency XII

Transactions on Petri Nets and Other Models of Concurrency XII

Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.)
Tahun:
2017
Bahasa:
english
File:
PDF, 12.20 MB
0 / 0
english, 2017
11
Applications of Categorical Algebra

Applications of Categorical Algebra

Alex Heller (Editor)
Tahun:
1970
Bahasa:
english
File:
PDF, 1.96 MB
0 / 0
english, 1970
12
Applications of Categorical Algebra

Applications of Categorical Algebra

A. Heller, ed.
Tahun:
1970
Bahasa:
english
File:
PDF, 2.01 MB
0 / 0
english, 1970
13
Proof-Theoretical Coherence

Proof-Theoretical Coherence

Kosta Došen, Zoran Petrić
Tahun:
2004
Bahasa:
english
File:
PDF, 27.80 MB
0 / 0
english, 2004
14
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Makkai M.
Tahun:
1993
Bahasa:
english
File:
DJVU, 581 KB
0 / 0
english, 1993
15
Fibrational formulation of intuitionistic predicate logic 1

Fibrational formulation of intuitionistic predicate logic 1

Makkai M.
Tahun:
1993
Bahasa:
english
File:
DJVU, 581 KB
0 / 0
english, 1993