Cargando…

Two Applications of Logic to Mathematics /

Detalles Bibliográficos
Autor principal: Takeuti, Gaisi, 1926-2017 (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Princeton, New Jersey : Princeton University Press, 1978.
Colección:Book collections on Project MUSE.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a22000004a 4500
001 musev2_45185
003 MdBmJHUP
005 20230905044727.0
006 m o d
007 cr||||||||nn|n
008 150218t19781978ja o 00 0 eng d
010 |z  78051205  
020 |a 9781400871346 
020 |z 9780691082127 
020 |z 9780691610221 
020 |z 9780691638379 
040 |a MdBmJHUP  |c MdBmJHUP 
100 1 |a Takeuti, Gaisi,  |d 1926-2017,  |e author. 
245 1 0 |a Two Applications of Logic to Mathematics /   |c by Gaisi Takeuti. 
264 1 |a Princeton, New Jersey :  |b Princeton University Press,  |c 1978. 
264 3 |a Baltimore, Md. :  |b Project MUSE,   |c 0000 
264 4 |c ©1978. 
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 
490 0 |a Kanō Memorial Lectures ;  |v 3 
490 0 |a Publications of the Mathematical Society of Japan ;  |v 13 
588 |a Description based on print version record. 
650 7 |a Logic, Symbolic and mathematical.  |2 fast  |0 (OCoLC)fst01002068 
650 7 |a Algebra, Boolean.  |2 fast  |0 (OCoLC)fst00804924 
650 7 |a MATHEMATICS  |x General.  |2 bisacsh 
650 7 |a MATHEMATICS  |x Logic.  |2 bisacsh 
650 6 |a Algebre de Boole. 
650 6 |a Logique symbolique et mathematique. 
650 0 |a Algebra, Boolean. 
650 0 |a Logic, Symbolic and mathematical. 
655 7 |a Electronic books.   |2 local 
710 2 |a Project Muse.  |e distributor 
830 0 |a Book collections on Project MUSE. 
856 4 0 |z Texto completo  |u https://projectmuse.uam.elogim.com/book/45185/ 
945 |a Project MUSE - Custom Collection