>> Amazon.co.jp
このページのQRコード

Labelled non-classical logics

種類:
図書
責任表示:
by Luca Viganò
出版情報:
Boston : Kluwer Academic Pub., c2000
著者名:
Viganò, Luca  
ISBN:
9780792377498 [0792377494]  CiNii Books  Calil
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Advances in modal logic

Zakharyaschev, Michael

Center for the Study of Language and Information
7 図書 Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory

Höhle, Ulrich, Klement, E. P. (Erich Peter), International Seminar on Fuzzy Set Theory

Kluwer Academic Publishers
2 図書 Automated deduction in classical and non-classical logics : selected papers

Caferra, Ricardo, Salzer, Gernot

Springer
8 図書 A dictionary of non-classical mythology

Edwardes, Marian, Spence, Lewis, 1874-1955

Dent, Dutton
3 図書 Sets and numbers, graphs and algebra, logic and machines, linear geometry

Mazzola, G. (Guerino), Milmeister, Gérard, Weissmann, Jody

Springer
9 図書 Elements of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic Pub.
4 図書 Combinatorics, computation & logic '99 : proceedings of DMTCS'99 and CATS'99 Auckland, New Zealand, 18-21 january 1999

Caluce, C. S., Dinneen, M. J.

Springer
10 図書 Alternatives to classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel, Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
5 図書 Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

Wallen, Lincoln A.

MIT Press
11 図書 Extensions of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

D. Reidel
6 電子ブック Materials with Complex Behaviour II : Properties, Non-Classical Materials and New Technologies

Öchsner, Andreas., da Silva, Lucas F. M., Altenbach, Holm., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 図書 Elements of classical logic

Gabbay, Dov M., 1945-, Guenthner, Franz

Kluwer Academic