Eine Termlogik mit Auswahloperator

Book information

Year

1965

ISBN

9783540033509, 3540033505

Language

german

Format

DJVU

Filesize

200 kB (205133 bytes)

Series

Lecture Notes in Mathematics

Edition

LNM0006, Springer

Pages

45\45

Topic

Mathematics › Logic

Library

Kolxo3

DPI

300

Time added

2009-07-20 03:45:11