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

The limits of logic : higher-order logic and the Löwenheim-Skolem theorem

種類:
図書
責任表示:
edited by Stewart Shapiro
出版情報:
Aldershot, Hants ; Brookfield, Vt. : Dartmouth, c1996
著者名:
Shapiro, Stewart, 1951- <DA01672219>  
シリーズ名:
The International research library of philosophy ; 18 . The philosophy of logic, language and mind <BA2010033X>
ISBN:
9781855217317 [1855217317]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Solving higher-order equations : from logic to programming

Prehofer, Christian, 1967-

Birkhäuser
7 図書 Symbolic logic ; and, The game of logic

Carroll, Lewis, 1832-1898

Dover Publications
2 図書 First-order dynamic logic

Harel, David, 1950-

Springer-Verlag
8 図書 Meta-logics and logic programming

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

MIT Press
3 図書 Computational aspects of an order-sorted logic with term declarations

Schmidt-Schauß, M. (Manfred)

Springer-Verlag
9 図書 Mathematical logic

Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg, Thomas, Wolfgang

Springer-Verlag
4 図書 Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings

Banieqbal, Behnam, Barringer, Howard, 1951-, Pnueli, A. (Amir), Colloquium on Temporal Logic in Specification

Springer-Verlag
10 図書 Mathematical logic

Monk, James Donald, 1930-

Springer-Verlag
5 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and …

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., &hellip;

North-Holland
11 図書 Symbolic logic

Lewis, Clarence Irving, 1883-1964, Langford, Cooper Harold, 1895-

Dover
6 図書 Higher order logic and hardware verification

Melham, T. F. (Tom F.)

Cambridge University Press
12 図書 The language of logic

Freudenthal, Hans, 1905-

Elsevier