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

Metamathematics, machines, and Gödel's proof

種類:
図書
責任表示:
N. Shankar
出版情報:
Cambridge : Cambridge University Press, 1994
著者名:
Shankar, N. <DA10544071>  
シリーズ名:
Cambridge tracts in theoretical computer science ; 38 <BA01121831>
ISBN:
9780521420273 [052142027X]  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 図書 Lectures on proof verification and approximation algorithms

Mayr, Ernst W., Prömel, H. J., Steger, Angelika

Springer
7 電子ブック Extensional Gödel Functional Interpretation : A Consistensy Proof of Classical Analysis

Luckhardt, Horst., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 図書 Efficient checking of polynomials and proofs and the hardness of approximation problems

Sudan, Madhu

Springer-Verlag
8 図書 Handbook of tableau methods

D'Agostino, Marcello

Kluwer
3 図書 Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship

Zwiers, Job, 1956-

Springer-Verlag
9 図書 Automated deduction : a basis for applications

Bibel, W., 1938-, Schmitt, P. H. (Peter H.), 1948-

Kluwer Academic
4 図書 The programming and proof systems ATES : advanced techniques integration into efficient scientific software

Puccetti, A. (Armand), 1961-

Springer-Verlag
10 図書 Automated reasoning and its applications : essays in honor of Larry Wos

Veroff, Robert, Pieper, Gail W., Wos, Larry, 1930-

The MIT Press
5 図書 Gödel's proof

Nagel, Ernest, 1901-, Newman, James Roy, 1907-1966

New York University Press
11 図書 Extensional constructs in intensional type theory

Hofmann, Martin, 1965-

Springer
6 図書 Extensional Gödel functional interpretation : a consistency proof of classical analysis

Luckhardt, Horst

Springer-Verlag
12 図書 A computational logic

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press