Cargando…

The calculi of Lambda-conversion /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Alonzo Church
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton : Princeton Univ Press, 1941.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a22000003i 4500
001 JSTOR_ocn945482837
003 OCoLC
005 20231005004200.0
006 m o d
007 cr |||||||||||
008 160323s1941 nju o 000 0 eng d
040 |a YDXCP  |b eng  |e pn  |c YDXCP  |d JSTOR  |d OCLCF  |d DEBBG  |d OCLCQ  |d OCLCO  |d N$T  |d OCLCQ  |d UIU  |d DEBSZ  |d IOG  |d EZ9  |d TXC  |d LVT  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO 
020 |a 1400881935  |q (electronic bk.) 
020 |a 9781400881932  |q (electronic bk.) 
029 1 |a AU@  |b 000062471752 
029 1 |a CHBIS  |b 010896140 
029 1 |a CHVBK  |b 48338447X 
029 1 |a DEBBG  |b BV043712453 
029 1 |a DEBSZ  |b 478624891 
029 1 |a GBVCP  |b 1003819729 
035 |a (OCoLC)945482837 
037 |a 22573/ctt1b9wf7b  |b JSTOR 
050 4 |a QA331  |b .C52 1941eb 
072 7 |a MAT005000  |2 bisacsh 
082 0 4 |a 517.5  |2 23 
049 |a UAMI 
100 1 |a Alonzo Church. 
245 1 4 |a The calculi of Lambda-conversion /  |c Alonzo Church. 
260 |a Princeton :  |b Princeton Univ Press,  |c 1941. 
300 |a 1 online resource 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a data file  |2 rda 
590 |a JSTOR  |b Books at JSTOR Demand Driven Acquisitions (DDA) 
590 |a JSTOR  |b Books at JSTOR All Purchased 
590 |a JSTOR  |b Books at JSTOR Evidence Based Acquisitions 
650 0 |a Logic, Symbolic and mathematical. 
650 0 |a Recursive functions. 
650 6 |a Logique symbolique et mathématique. 
650 6 |a Fonctions récursives. 
650 7 |a MATHEMATICS  |x Calculus.  |2 bisacsh 
650 7 |a Logic, Symbolic and mathematical  |2 fast 
650 7 |a Recursive functions  |2 fast 
856 4 0 |u https://jstor.uam.elogim.com/stable/10.2307/j.ctt1b9x12d  |z Texto completo 
938 |a EBSCOhost  |b EBSC  |n 1432899 
938 |a YBP Library Services  |b YANK  |n 12887021 
994 |a 92  |b IZTAP