TermsVector search on Z-Library for algebraizable

Sumbangan 15 hb September 2024 – 1 hb Oktober 2024 Mengenai pengumpulan sumbangan

Carian kata kunci

Main
Carian kata kunci

1

Protoalgebraic Logics

Protoalgebraic Logics

Springer Netherlands

Janusz Czelakowski, Mundici, Daniele, Priest, Graham

Tahun:

2001

Bahasa:

english

Fail:

DJVU, 4.27 MB

0 / 0

english, 2001

2

Protoalgebraic Logics

Protoalgebraic Logics

Janusz Czelakowski

Tahun:

2001

Bahasa:

english

Fail:

PDF, 16.63 MB

0 / 0

english, 2001

3

Hiroakira Ono on Substructural Logics

Hiroakira Ono on Substructural Logics

Galatos, Nikolaos & Terui, Kazushige

Tahun:

2021

Bahasa:

english

Fail:

PDF, 4.40 MB

0 / 5.0

english, 2021

4

A General Algebraic Semantics for Sentential Logics

A General Algebraic Semantics for Sentential Logics

Cambridge University Press

Josep Maria Font, Ramon Jansana

Tahun:

2016

Bahasa:

english

Fail:

PDF, 730 KB

0 / 0

english, 2016

5

A General Algebraic Semantics for Sentential Logics

A General Algebraic Semantics for Sentential Logics

Cambridge University Press

Josep Maria Font, Ramon Jansana

Tahun:

2017

Bahasa:

english

Fail:

PDF, 859 KB

0 / 0

english, 2017

6

General Algebraic Semantics for Sentential Logics

General Algebraic Semantics for Sentential Logics

Font, J M, Jansana, R A

Tahun:

2009

Bahasa:

english

Fail:

PDF, 830 KB

0 / 0

english, 2009

7

Algebraizable logics

Algebraizable logics

American Mathematical Society

W. J. Blok, Don Pigozzi

Tahun:

1989

Bahasa:

english

Fail:

DJVU, 925 KB

0 / 0

english, 1989

8

Algebraizable Logics

Algebraizable Logics

Amer Mathematical Society

W. J. Blok, Don Pigozzi

Tahun:

1989

Bahasa:

english

Fail:

PDF, 8.20 MB

0 / 0

english, 1989

9

Algebraicable Logics

Algebraicable Logics

Amer Mathematical Society

W. J. Blok, Don Pigozzi

Tahun:

1989

Bahasa:

english

Fail:

DJVU, 1011 KB

0 / 0

english, 1989

10

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science

Czelakowski, Janusz, Pigozzi, Don (ed.)

Tahun:

2018

Bahasa:

english

Fail:

PDF, 2.06 MB

0 / 0

english, 2018

11

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Springer International Publishing

Janusz Czelakowski

Tahun:

2018

Bahasa:

english

Fail:

PDF, 3.32 MB

0 / 0

english, 2018

12

Universal Algebraic Logic: Dedicated to the Unity of Science

Universal Algebraic Logic: Dedicated to the Unity of Science

Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain

Tahun:

2022

Bahasa:

english

Fail:

PDF, 4.67 MB

0 / 0

english, 2022

13

Universal Algebraic Logic: Dedicated to the Unity of Science

Universal Algebraic Logic: Dedicated to the Unity of Science

Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain

Tahun:

2022

Bahasa:

english

Fail:

PDF, 4.67 MB

0 / 5.0

english, 2022

14

Janusz Czelakowski on Logical Consequence

Janusz Czelakowski on Logical Consequence

Jacek Malinowski, Rafał Palczewski

Tahun:

2024

Bahasa:

english

Fail:

PDF, 10.20 MB

0 / 0

english, 2024

15

Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203

Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203

Tahun:

1998

Bahasa:

english

Fail:

DJVU, 16.27 MB

0 / 0

english, 1998

16

Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá

Montenegro, Carlos H., Caicedo, Xavier (eds.)

Tahun:

1999

Bahasa:

english

Fail:

DJVU, 3.95 MB

0 / 0

english, 1999

17

Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota

Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota

Xavier Caicedo, Carlos Montenegro

Tahun:

1999

Bahasa:

english

Fail:

DJVU, 3.89 MB

0 / 0

english, 1999

18

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner (eds.)

Tahun:

2001

Bahasa:

english

Fail:

DJVU, 2.92 MB

0 / 0

english, 2001

19

Handbook of Philosophical Logic

Handbook of Philosophical Logic

Springer Netherlands

Göran Sundholm (auth.), D. M. Gabbay, F. Guenthner (eds.)

Tahun:

2001

Bahasa:

english

Fail:

PDF, 14.96 MB

0 / 0

english, 2001

20

Trends in Logic: 50 Years of Studia Logica

Trends in Logic: 50 Years of Studia Logica

Vincent F. Hendricks, Jacek Malinowski

Tahun:

2003

Bahasa:

english

Fail:

DJVU, 3.41 MB

0 / 0

english, 2003

21

Trends in Logic: 50 Years of Studia Logica

Trends in Logic: 50 Years of Studia Logica

Springer Netherlands

Vincent F. Hendricks, Jacek Malinowski (eds.)

Tahun:

2003

Bahasa:

english

Fail:

PDF, 12.83 MB

0 / 0

english, 2003

22

Algebraizable logics

Algebraizable logics

American Mathematical Society

W. J. Blok, Don Pigozzi

Tahun:

1989

Bahasa:

english

Fail:

PDF, 2.12 MB

0 / 0

english, 1989

23

Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised ... Computer Science and General Issues)

Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised ... Computer Science and General Issues)

José Luiz Fiadeiro, Pierre-Yves Schobbens

Tahun:

2007

Bahasa:

english

Fail:

PDF, 2.68 MB

0 / 0

english, 2007

24

Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Recent Trends in Algebraic Development Techniques: 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch Lafuente (auth.), José Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)

Tahun:

2007

Bahasa:

english

Fail:

PDF, 2.79 MB

0 / 0

english, 2007

25

Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

Recent trends in algebraic development techniques: 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006; revised selected papers

José Luiz Fiadeiro, Pierre-Yves Schobbens

Tahun:

2007

Bahasa:

english

Fail:

PDF, 2.64 MB

0 / 0

english, 2007

26

An invitation to web geometry

An invitation to web geometry

Pereira, Jorge Vitório, Pirio, Luc

Tahun:

2015

Bahasa:

english

Fail:

PDF, 1.88 MB

0 / 0

english, 2015

27

An Invitation to Web Geometry

An Invitation to Web Geometry

Springer International Publishing

Jorge Vitório Pereira, Luc Pirio (auth.)

Tahun:

2015

Bahasa:

english

Fail:

PDF, 3.31 MB

0 / 0

english, 2015

28

Abstract Algebraic Logic. an Introductory Textbook

Abstract Algebraic Logic. an Introductory Textbook

Font, Josep Maria

Tahun:

2016

Bahasa:

english

Fail:

PDF, 53.82 MB

0 / 0

english, 2016