Search Results for Logic.

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

15 sonuç bulundu

1 2

000000000000DEFAULTTR

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

A computational logic handbook

Boyer, Robert S.

ScienceDirect http://www.sciencedirect.com/science/book/9780121229528

Format:

Alıntı:

A computational logic handbook / Boyer, Robert S.

Greek, Indian, and Arabic logic

Gabbay, Dov M., 1945-

to access electronic resource
ScienceDirect http://www.sciencedirect.com/science/book/9780444504661
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=1

Format:

Alıntı:

Greek, Indian, and Arabic logic / Gabbay, Dov M., 1945-

The propositional logic of Boethius

Dürr, Karl, 1888-

ScienceDirect http://www.sciencedirect.com/science/book/9780444533661
ScienceDirect http://www.sciencedirect.com/science/bookseries/0049237X/1
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=1

Format:

Alıntı:

The propositional logic of Boethius / Dürr, Karl, 1888-

Proceedings of the Second Scandinavian Logic Symposium

Scandinavian Logic Symposium (2nd : 1970 : University of Oslo)

ScienceDirect https://www.sciencedirect.com/science/book/9780720422597
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/63
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=63

Format:

Alıntı:

Proceedings of the Second Scandinavian Logic Symposium Scandinavian Logic Symposium (2nd : 1970

Proceedings of the third Scandinavian Logic Symposium

Scandinavian Logic Symposium (3rd : 1973 : University of Uppsala)

ScienceDirect http://www.sciencedirect.com/science/book/9780444106797

Format:

Alıntı:

Proceedings of the third Scandinavian Logic Symposium / Scandinavian Logic Symposium (3rd : 1973

Handbook of the history of logic

Gabbay, Dov M., 1945-

ScienceDirect http://www.sciencedirect.com/science/handbooks/18745857
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=4
ScienceDirect http://www.sciencedirect.com/science/book/9780444516107
ScienceDirect, v. 2 http://www.sciencedirect.com/science/handbooks/18745857/2
ScienceDirect, v. 3 http://www.sciencedirect.com/science/handbooks/18745857/3

Format:

Alıntı:

Handbook of the history of logic / Gabbay, Dov M., 1945-

Infinite words : automata, semigroups, logic and games

Perrin, Dominique.

ScienceDirect http://www.sciencedirect.com/science/book/9780125321112
ScienceDirect http://www.sciencedirect.com/science/publication?issn=00798169&volume=141
ScienceDirect http://www.sciencedirect.com/science/bookseries/00798169/141

Format:

Alıntı:

Infinite words : automata, semigroups, logic and games / Perrin, Dominique.

The rise of modern logic : from Leibniz to Frege

Gabbay, Dov M., 1945-

to access electronic resource
ScienceDirect http://www.sciencedirect.com/science/book/9780444516114
ScienceDirect http://www.sciencedirect.com/science/publication?issn=18745857&volume=3

Format:

Alıntı:

The rise of modern logic : from Leibniz to Frege / Gabbay, Dov M., 1945-

Handbook of the logic of argument and inference : the turn towards the practical

Gabbay, Dov M., 1945-

ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
ScienceDirect http://www.sciencedirect.com/science/publication?issn=15702464&volume=1

Format:

Alıntı:

Handbook of the logic of argument and inference : the turn towards the practical / Gabbay, Dov M

10.

Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications (1992 : Leuven, Belgium)

ScienceDirect http://www.sciencedirect.com/science/book/9780444898807

Format:

Alıntı:

International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92 / IFIP TC10/WG10.2

11.

Admissibility of logical inference rules

Rybakov, Vladimir V. (Vladimir Vladimir), 1961-

ScienceDirect https://www.sciencedirect.com/science/book/9780444895059
ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=136
ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/136

Format:

Alıntı:

Studies in logic and the foundations of mathematics ;

12.

Selected papers on Automath

Nederpelt, R. P. (Rob P.)

ScienceDirect http://www.sciencedirect.com/science/book/9780444898227
ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=133

Format:

Alıntı:

Studies in logic and the foundations of mathematics ;

	{displayName}	{count}
{error}