Intuitionistic logic model theory and forcing

Detalles Bibliográficos
Autor principal: Fitting, Melvin Chris
Formato: Libro
Lenguaje:English
Publicado: Amsterdam North-Holland 1969
Colección:(Studies in logic and the foundations of mathematics)
Materias:
LEADER 00856nam a2200229 a 4500
001 000000003473
003 OSt
005 20190605112215.0
008 141215b xxu||||| |||| 00| 0 eng d
040 |a Sistema de Bibliotecas UNAH 
999 |c 3473  |d 3473 
082 0 |a 164-F54 
100 1 |a Fitting, Melvin Chris  |9 21784 
245 1 0 |a Intuitionistic logic model theory and forcing  |c Melvin Chris Fitting 
260 |a Amsterdam  |b North-Holland  |c 1969 
300 |a 191 p.  |c 23cm 
490 0 |a (Studies in logic and the foundations of mathematics) 
504 |a Bibliografía: 188-189 
650 4 |a LOGICA MATEMATICA   |9 14253 
942 |2 ddc  |c LB 
952 |0 0  |1 0  |2 ddc  |4 0  |6 164F54  |7 1  |9 9470  |a CG  |b BC  |d 2022-09-13  |l 1  |o 164-F54  |p 230413  |r 2014-08-06  |s 2014-05-06  |y LB 
952 |0 0  |1 0  |2 ddc  |4 0  |6 164F54  |7 1  |9 382264  |a CG  |b BM  |d 2023-03-24  |o 164-F54  |p 629676  |r 2023-03-24  |w 2023-03-24  |y LB