01878nam a22004091 4500000164584MiAaHDL20250726000000.0m d cr bn ---auaua880715s1970 ne b 100 0 eng 77097196 Ne70-330720422574100.00(MiU)990001645840106381sdr-miu.990001645840106381sdr-nrlf.b17176366x(MiU)MIU01000000000000000164584-goog(OCoLC)103466(CaOTULAS)160187179(RLIN)MIUG84-B53174(MiU)Aleph000164584MiUUtOrBLWQA9.C742 1968164Conference on Intuitionism and Proof Theory(1968 :State University of New York at Buffalo)http://id.loc.gov/authorities/names/n88646745http://id.loc.gov/rwo/agents/n88646745Intuitionism and proof theory.Proceedings of the summer conference at Buffalo, N.Y., 1968 /Edited by A. Kino, J. Myhill and R. E. Vesley.Amsterdam :North-Holland Pub. Co.,1970.viii, 516 p. ;23 cm.texttxtrdacontentunmediatednrdamediavolumencrdacarrierStudies in logic and the foundations of mathematicsIncludes bibliographies.Mode of access: Internet.Logic, Symbolic and mathematicalCongresses.http://id.loc.gov/authorities/subjects/sh2008107112Vesley, R. E.Myhill, John,1923-1987.http://id.loc.gov/authorities/names/n87825260http://id.loc.gov/rwo/agents/n87825260Kino, A.State University of New York at Buffalo.http://id.loc.gov/authorities/names/n79055820http://id.loc.gov/rwo/agents/n790558203901500567152700016458420241217215118.020250726000000.020260303165447.02026-03-04T12:17:21Z2021-02-26T18:30:02ZSDR-MIUmiuALMAprepare.pl-004-009BKsdr-miu.990001645840106381MiUSDRMIU000164584mdp.39015005671527MIU990001645840106381MIUMIU20260304googlemdp.390150056715271970icbibnon-US bib date1 >= 1931MIUMIU20260312googlemdp.390150682240651970icbibnon-US bib date1 >= 1931UCNRLF20161213googleuc1.b44973361970icbibnon-US bib date1 >= 1931