Blank Cover Image
このページのQRコード

The language of logic

種類:
図書
責任表示:
by Hans Freudenthal
出版情報:
Amsterdam ; New York : Elsevier, 1966
著者名:
Freudenthal, Hans, 1905- <DA01453135>  
注記:
Translation of Exacte logica
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Equational logic as a programming language

O'Donnell, Michael J.

MIT Press
7 図書 A resolution principle for a logic with restricted quantifiers

Bürckert, Hans-Jürgen

Springer Verlag
2 図書 Handbook of logic and language

Benthem, J. F. A. K. van, 1949-, Meulen, Alice G. B. ter

Elsevier, MIT Press
8 図書 CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings

Workshop on Computer Science Logic, Börger, Egon, 1946-, Kleine Büning, Hans, Richter, Michael M., 1938-

Springer-Verlag
3 図書 Term logic with choice operator

Hermes, Hans

Springer-Verlag
9 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer-Verlag
4 図書 Elements of symbolic logic

Reichenbach, Hans, 1891-1953

Macmillan
10 図書 Lincos : design of a language for cosmic intercourse

Freudenthal, Hans, 1905-

North-Holland Publ. Co.
5 図書 Language in action : categories, lambdas and dynamic logic

Benthem, J. F. A. K. van, 1949-

North-Holland, Distirbutors for the United States and Canada, Elsevier Science Publishing Company Inc.
11 図書 Symbolic logic ; and, The game of logic

Carroll, Lewis, 1832-1898

Dover Publications
6 図書 Propositional logic : deduction and algorithms

Kleine Büning, Hans, 1948-, Lettman, Teodor

Cambridge University Press
12 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press