Basic verifiability in the combinatory theory of restricted generality /

Guardado en:
Detalles Bibliográficos
Autor principal: Curry, Haskell B.
Formato: Libro
Lenguaje:Inglés
Publicado: Jerusalem : Magnes, 1961.
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí
LEADER 00856nam a2200253 a 4500
001 koha32776
003 AR-EnULPH
005 20250704171732.0
007 ta
008 971105s1961 is g 000 0 eng d
025 |a F2387  |q localID 
024 8 0 |a 028875 
040 |a AR-EnULPH  |b spa  |c AR-EnULPH 
080 1 |a 510.6  |2 1991 
100 1 |a Curry, Haskell B.  |9 68705 
245 1 0 |a Basic verifiability in the combinatory theory of restricted generality /  |c Haskell B. Curry. 
260 |a Jerusalem :  |b Magnes,  |c 1961. 
300 |a [25] p. 
690 1 4 |a Ciencias matemáticas  |9 1812 
650 2 4 |a Lógica matemática  |9 15472 
942 |c FO 
934 |a 028875 
952 |0 0  |1 0  |2 udc  |4 0  |6 FOL1705  |7 0  |9 44214  |a DHU  |d 2014-10-07  |e DFI  |f DON  |i F2387  |o FOL-1705  |p F2387  |r 2023-12-29 00:00:00  |w 2022-08-03  |x Alarma 3M Encuadernación R  |y FO  |k 10  |b REFERENCIA 1º PISO 
999 |c 32776  |d 32776