>> Google Books
所蔵情報QRコード

Non-classical logics / Wolfgang Rautenberg (editor)

資料種別:
図書
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1987
形態:
xxxvii, 469 p. ; 28 cm
シリーズ名:
Perspectives in mathematical logic ; . Ω-bibliography of mathematical logic / edited by Gert H. Müller in collaboration with Wolfgang Lenski ; v. 2 <BA00027452>
著者名:
ISBN:
9783540155218 [354015521X] (: Germany)
9780387155210 [038715521X] (: U.S.)
書誌ID:
BA00748738
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Classical logic (: Germany ; : U.S.)

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Rautenberg, Wolfgang

Springer-Verlag
7 図書 Sets and classes : on the work by Paul Bernays

Bernays, Paul, 1888-1977, Müller, G. H. (Gert Heinz), 1923-

North-Holland Pub. Co., sole distributors for the U.S.A. and Canada, Elsevier/North-Holland
2 図書 Model theory (: Germany ; : U.S.)

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Ebbinghaus, Heinz-Dieter, 1939-

Springer-Verlag
8 図書 ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic … (: gw ; : u.s.)

ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International …

Springer-Verlag
3 図書 Recursion theory (: Germany ; : U.S.)

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Hinman, Peter G.

Springer-Verlag
9 電子ブック Logic Symposia Hakone 1979, 1980

Gert H. Müller, Takeuti, G., Tugue, T.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 図書 Set theory (: Germany ; : U.S.)

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Blass, Andreas R.

Springer-Verlag
10 図書 Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 (: gw ; : us)

Ambos-Spies, K. (Klaus), Müller, G. H. (Gert Heinz), 1923-, Sacks, Gerald E., 1933-

Springer-Verlag
5 図書 Proof theory, constructive mathematics (: Germany ; : U.S.)

Müller, G. H. (Gert Heinz), 1923-, Lenski, Wolfgang, 1952-, Kister, Jane E., Dalen, D. van (Dirk), 1932-, Troelstra, A. …

Springer-Verlag
11 図書 Logic versus approximation : Essays dedicated to Michael M. Richter on the occasion of his 65th birthday

Lenski, Wolfgang

Springer
6 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (: gw ; : u.s.)

International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus

Springer-Verlag
12 電子ブック Logic versus Approximation

Wolfgang Lenski, Lenski, Wolfgang, Richter, Michael M.

SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12