|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
ELB155840 |
| 003 |
FINmELB |
| 005 |
202205230193357.0 |
| 006 |
m o d | |
| 007 |
cr cn||||||||| |
| 008 |
910409s1992 enka sb 001 0 eng |
| 010 |
|
|
|z 91017469
|
| 020 |
|
|
|z 0415023351
|
| 035 |
|
|
|a (OCoLC)23732776
|
| 040 |
|
|
|a FINmELB
|c FINmELB
|d FINmELB
|
| 050 |
|
4 |
|a QA9.54
|b .P77 1991
|
| 082 |
0 |
4 |
|a 511.3
|2 20
|
| 245 |
0 |
0 |
|a Proof, logic, and formalization
|h [electronic resource] /
|c edited by Michael Detlefsen.
|
| 260 |
|
|
|a London ;
|a New York :
|b Routledge,
|c 1992.
|
| 300 |
|
|
|a x, 241 p. :
|b ill.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 588 |
|
|
|a Description based on metadata supplied by the publisher and other sources.
|
| 590 |
|
|
|a Electronic reproduction. Santa Fe, Arg.: elibro, 2020. Available via World Wide Web. Access may be limited to eLibro affiliated libraries.
|
| 650 |
|
0 |
|a Proof theory.
|
| 650 |
|
0 |
|a Logic, Symbolic and mathematical.
|
| 655 |
|
4 |
|a Electronic books.
|
| 700 |
1 |
|
|a Detlefsen, Michael,
|d 1948-
|
| 797 |
2 |
|
|a elibro, Corp.
|
| 856 |
4 |
0 |
|u https://elibro.uam.elogim.com/ereader/bidiuam/155840
|z Texto completo
|
