Introduction to mathematical logic

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Mendelson, Elliott (autor)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Boca Ratón CRC 1997 Boca Ratón Chapman & Hall 1997
Ausgabe:	4a. ed
Schlagworte:	Lógica matemática Teoría de conjuntos Lógica simbólica Teoría de números Algoritmos
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC


LEADER	00000nam a2200000 a 4500
001	UCJ8923
003	CL-VaPUC
008	070126e19970000us \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
020			\|a 0412808307
082	0	4	\|a 511.3 \|b MEN \|2 21
100			\|a Mendelson, Elliott \|e autor \|9 518725
245	1	0	\|a Introduction to mathematical logic
250			\|a 4a. ed
300			\|a 440 p
942			\|c BK
945			\|d 20070126 00:00:00 \|a cmena
260			\|a Boca Ratón \|b CRC \|c 1997
260			\|a Boca Ratón \|b Chapman & Hall \|c 1997
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Teoría de conjuntos \|9 265668
650		0	\|a Lógica simbólica \|9 269868
650		0	\|a Teoría de números \|9 265327
650		0	\|a Algoritmos \|9 260639
583			\|a last modification \|c 20171006 04:35:58 \|k Rodrigo Vera
999			\|c 324567 \|d 324565
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_MEN_1997_1997 \|7 0 \|8 A \|9 404831 \|a BIBING \|b BIBING \|d 2019-11-22 \|i 4313496 \|o 511.3 MEN 1997 1997 \|p 4313496 \|r 2025-01-20 \|w 2019-11-22 \|y BK \|k EII
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_MEN_1997_1997 \|7 0 \|8 A \|9 404832 \|a BIBING \|b BIBING \|d 2019-11-22 \|i 431350K \|o 511.3 MEN 1997 1997 \|p 431350K \|r 2025-01-20 \|w 2019-11-22 \|y BK \|k EII