Natural deduction : the logic basis of axiom systems
John M. Anderson and Henry W. JohnstoneAnderson, John M. Bok Språk ikke angitt utgitt c1962
Ledig
- Automatlager: 1 av 1 ledig
*00188611 *00520250613173311.0 *007ta *008121122s1962 xxu 000 u und d *00900622cam a2200193 c 4500 *019 $bl *035 $a(EXLNZ-47BIBSYS_NETWORK)999321018874702201 *035 $a(NO-LaBS)13840322(bibid) *035 $a(NO-TrBIB)932101887 *035 $a932101887-47bibsys_network *040 $aNO-TrBIB$bnob$ekatreg *1001 $aAnderson, John M.$0(NO-TrBIB)90132529$_28526400 *24510$aNatural deduction :$bthe logic basis of axiom systems$cJohn M. Anderson and Henry W. Johnstone *260 $aBelmont, Cal.$bWadsworth$cc1962 *300 $aXII, 418 s. *653 $amatematisk$alogikk$_15514300 *7001 $aJohnstone, Henry W.$0(NO-TrBIB)90814239$_28526500 *901 $a80 *999 $aoai:nb.bibsys.no:999321018874702202$b2021-11-14T19:47:24Z$z999321018874702202 ^