Formal number theory and computability a workbook

Sparad:
Bibliografiska uppgifter
Huvudupphovsman: Fisher, Alec
Materialtyp: Bok
Språk:engelska
Publicerad: Oxford [Oxfordshire] Clarendon Press 1982
Serie:Oxford logic guides 7
Oxford science publications
Ämnen:
Godel's theorem
Incompleteness theorems
Number theory
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

MARC

LEADER 00000nam a2200000 a 4500
001 00374741
003 PWmBRO
005 20240602095613.0
008 831021s1982 enka a o0011 eng l
082 0 0 |a 512  |b .72 
090 0 0 |b 511.3/F533f 
100 1 0 |a Fisher, Alec 
245 1 0 |a Formal number theory and computability  |b a workbook  |c by Alec Fisher 
260 0 0 |a Oxford [Oxfordshire]  |b Clarendon Press  |c 1982 
300 0 0 |a xiii, 190 p.  |b ill.  |c 25 cm. 
440 0 0 |a Oxford logic guides  |v 7 
440 0 0 |a Oxford science publications 
500 0 0 |a Includes index 
595 0 0 |a 0198531788 
650 0 0 |a Godel's theorem 
650 0 0 |a Incompleteness theorems 
650 0 0 |a Number theory 
942 |2 ddc 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_F533F  |7 0  |8 MN  |9 16407  |a ML015  |b ML015  |c MN  |d 2024-06-02  |l 0  |o 511.3 F533f  |p 013323  |r 2018-03-23 00:00:00  |w 2018-03-23  |y BK 
994 |a 001013323 84143 0001  
995 0 0 |a NUNE 
999 |c 11485  |d 11485 

Liknande verk