Jump to main content

yr 〜
yr

Search results 19

Logic and Automata: History and Perspectives

Logic and Automata: History and Perspectives
Digital電子書籍・電子雑誌図書
2007
Available onlineNational Diet Library
  • Author HeadingFlum, Jörg Grädel, Erich Wilke, Thomas G...

Mathematical logic 3rd ed

Mathematical logic 3rd ed
Paper図書
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasSpringerc2021
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Mathematical logic : pbk 3rd ed

Mathematical logic : pbk 3rd ed
Paper図書
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasSpringerc2021
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Parameterized complexity theory : [pbk.]

Parameterized complexity theory : [pbk.]
Paper図書
J. Flum, M. GroheSpringerc2010
Other Libraries in Japan
  • Author HeadingFlum, Jörg Grohe, M. (Martin)

Logic and automata : history and perspectives pbk

Logic and automata : history and perspectives pbk
Paper図書
edited by Jörg Flum, Erich Grädel, Thomas WilkeAmsterdam University Pressc2008
Other Libraries in Japan
  • Author HeadingFlum, Jörg Grädel, Erich Wilke, Thomas

Parameterized complexity theory : pbk.

Parameterized complexity theory : pbk.
Paper図書
Jörg Flum, Martin GroheSpringerc2006
Other Libraries in Japan
  • Author HeadingFlum, Jörg Grohe, Martin

Parameterized complexity theory : with 51 figures

Parameterized complexity theory : with 51 figures
Paper図書
J. Flum, M. GroheSpringerc2006
Other Libraries in Japan
  • Author HeadingFlum, Jörg Grohe, Martin

Finite model theory 2nd. rev. & enl. ed. 1999

Finite model theory 2nd. rev. & enl. ed. 1999
Paper図書
Heinz-Dieter Ebbinghaus, Jörg FlumSpringerc2006
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg

Finite model theory 2nd rev. and enl. ed

Finite model theory 2nd rev. and enl. ed
Paper図書
Heinz-Dieter Ebbinghaus, Jörg FlumSpringerc1999
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
Paper図書
Jörg Flum, Mario Rodríguez-Artalejo (eds.)Springerc1999
Other Libraries in Japan
  • Author Heading...Logic. Meeting Flum, Jörg Rodríguez Artalejo, M. (Mario...

Mathematical logic : us : gw 2nd ed., corrected second printing

Mathematical logic : us : gw 2nd ed., corrected second printing
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlag1996, c1994
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Finite model theory

Finite model theory
Paper図書
Heinz-Dieter Ebbinghaus, Jörg FlumSpringerc1995
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg

Topological model theory / Jörg Flum, Martin Ziegler. (Lecture notes in mathematics ; 769)

Topological model theory / Jörg Flum, Martin Ziegler. (Lecture notes in mathematics ; 769)
Paper図書
Springer-Verlag1980.<MA152-210>
National Diet Library
  • Author HeadingFlum, Jörg. Ziegler, Martin.

Mathematical logic : us : gw : [pbk.] 2nd ed

Mathematical logic : us : gw : [pbk.] 2nd ed
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1994
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Einführung in die mathematische Logik 3., vollständig überarbeitete und erweiterte Auflage

Einführung in die mathematische Logik 3., vollständig überarbeitete und erweiterte Auflage
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum und Wolfgang Thomasc1992
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Einführung in die mathematische Logik 2. überarbeitete Aufl

Einführung in die mathematische Logik 2. überarbeitete Aufl
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasWissenschaftliche Buchgesellschaft1986
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Mathematical logic : us : gw

Mathematical logic : us : gw
Paper図書
H.-D. Ebbinghaus, J. Flum, W. ThomasSpringer-Verlagc1984
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Topological model theory : Berlin : New York

Topological model theory : Berlin : New York
Paper図書
Jörg Flum, Martin ZieglerSpringer-Verlag1980
Other Libraries in Japan
  • Author HeadingFlum, Jörg Ziegler, Martin

Einführung in die mathematische Logik

Einführung in die mathematische Logik
Paper図書
von Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang ThomasWissenschaftliche Buchgesellschaft1978
Other Libraries in Japan
  • Author HeadingEbbinghaus, Heinz-Dieter Flum, Jörg Thomas, Wolfgang

Reached to the end of result.

RSS